Sciweavers

632 search results - page 20 / 127
» C and C Style Guides
Sort
View
DAC
2010
ACM
14 years 8 months ago
SCEMIT: a systemc error and mutation injection tool
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...
Peter Lisherness, Kwang-Ting (Tim) Cheng
IFIP
2004
Springer
15 years 3 months ago
Nested Commits for Mobile Calculi: Extending Join
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...
Roberto Bruni, Hernán C. Melgratti, Ugo Mon...
CP
2006
Springer
15 years 1 months ago
High-Level Nondeterministic Abstractions in
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, ...
Laurent Michel, Andrew See, Pascal Van Hentenryck
94
Voted
DAC
1999
ACM
15 years 1 months ago
Panel: What is the Proper System on Chip Design Methodology
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...
Richard Goering, Pierre Bricaud, James G. Doughert...
ICRA
2002
IEEE
117views Robotics» more  ICRA 2002»
15 years 2 months ago
Implementing Virtual Stairs on Treadmills using Torso Force Feedback
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 ...
Ryan C. Hayward, John M. Hollerbach