632 search results - page 20 / 127 » C and C Style Guides |
187
Voted
DAC
2010
ACM
15 years 4 months ago
2010
ACM
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...
172
Voted
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distrib...
131
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
el Nondeterministic Abstractions in C++ Laurent Michel1 , Andrew See1 , and Pascal Van Hentenryck2 1 University of Connecticut, Storrs, CT 06269-2155 2 Brown University, Box 1910, ...
178
Voted
DAC
1999
ACM
15 years 10 months ago
1999
ACM
ion model or flexible PCB solutions cannot offer a valid solution for the next millinium SoCs . James G. Dougherty, Integrated Systems Silicon LTD, Belfast, Northern Ireland ISS an...
165
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract—This paper describes the simulation of stairs on a treadmill style locomotion interface using torso force feedback. The active mechanical tether of the Sarcos Treadport ...