Sciweavers

18572 search results - page 251 / 3715
» High performance C
Sort
View
HF
2006
32views more  HF 2006»
15 years 6 months ago
Automation Failures on Tasks Easily Performed by Operators Undermine Trust in Automated Aids
Poornima Madhavan, Douglas A. Wiegmann, Frank C. L...
JC
2007
54views more  JC 2007»
15 years 6 months ago
A survey of randomized algorithms for control synthesis and performance verification
Giuseppe C. Calafiore, Fabrizio Dabbene, Roberto T...
DAC
2010
ACM
15 years 5 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