Sciweavers

1925 search results - page 115 / 385
» Dynamic Typing
Sort
View
ICRA
2009
IEEE
109views Robotics» more  ICRA 2009»
14 years 3 months ago
Natural self motion of a robotic limb with single degree-of-redundancy
— The self motion of a kinematically redundant robotic limb with single degree of redundancy is analyzed, focusing thereby on the nonlinear self-motion component. The role of thi...
Yoshikazu Kanamiya
DLS
2007
159views Languages» more  DLS 2007»
14 years 1 months ago
Relationally-parametric polymorphic contracts
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...
Arjun Guha, Jacob Matthews, Robert Bruce Findler, ...
PEPM
2011
ACM
12 years 12 months ago
Allocation removal by partial evaluation in a tracing JIT
The performance of many dynamic language implementations suffers from high allocation rates and runtime type checks. This makes dynamic languages less applicable to purely algorit...
Carl Friedrich Bolz, Antonio Cuni, Maciej FijaBkow...
GLVLSI
2003
IEEE
195views VLSI» more  GLVLSI 2003»
14 years 2 months ago
A pipelined clock-delayed domino carry-lookahead adder
Clock-delayed (CD) domino is a dynamic logic family developed to provide both inverting and non-inverting logic on single-rail gates. It is self-timed and can be easily pipelined ...
Bhushan A. Shinkre, James E. Stine
WECWIS
2002
IEEE
124views ECommerce» more  WECWIS 2002»
14 years 2 months ago
Flexible Inter-Enterprise Workflow Management using E-Services
This paper presents a solution to achieve dynamic Inter-enterprise workflow management using the eservices provided by collaborative e-business enterprises. E-services are distrib...
Jie Meng, Raja Krithivasan, Stanley Y. W. Su, Abde...