2935 search results - page 354 / 587 » An Integrated Approach to High Integrity Software Verificati... |
216
click to vote
TCAD
2010
15 years 1 months ago
2010
In recent years, structured application-specific integrated circuit (ASIC) design style has lessened the importance of mask cost. Multiple structured ASIC chip designs share the sa...
248
click to vote
HAPTICS
2011
IEEE
14 years 10 months ago
2011
IEEE
The main goal of virtual reality based surgery simulators with haptic feedback is to provide an alternative to traditional training methods on animals, cadavers or real patients. ...
288
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
265
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
We describe a machine-learning-based approach for extracting attribute labels from Web form interfaces. Having these labels is a requirement for several techniques that attempt to ...
170
click to vote
HICSS
2008
IEEE
16 years 28 days ago
2008
IEEE
— Electronic health records (EHR) promise to improve communication between health care providers, thus leading to better quality of patients’ treatment and reduced costs. As hi...