5055 search results - page 323 / 1011 » Relative Timing |
184
click to vote
3DPVT
2002
IEEE
16 years 8 days ago
2002
IEEE
For the first time since computers are around, the major pieces of the puzzle are in place to deliver interactive 3D to the average end user. Yet, with the exception of games and ...
146
Voted
ICRA
2002
IEEE
16 years 6 days ago
2002
IEEE
Although braided pneumatic actuators are capable of producing phenomenal forces compared to their weight, they have yet to see mainstream use due to their relatively short fatigue...
185
click to vote
ISMVL
2002
IEEE
16 years 6 days ago
2002
IEEE
This paper considers quasi-reduced multi-valued decision diagrams with bits (QRMDD( )s) to represent twovalued logic functions. It shows relations between the numbers of nodes in ...
172
click to vote
CSL
2009
Springer
15 years 12 months ago
2009
Springer
This paper extends for the first time semantic interpretation tools to infinite data in order to ensure Input/Output upper bounds on first order Haskell like programs on streams...
177
click to vote
DSRT
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes the addition of an extra piece of software, a rollback manager, to implement state saving and rollback management for optimistic federates in the High Level A...