2638 search results - page 111 / 528 » A Framework for Automatic Debugging |
JMM2
2007
15 years 1 months ago
2007
— Gesture interfaces have long been pursued in the context of portable computing and immersive environments. However, such interfaces have been difficult to build, in part due t...
TCAD
2002
15 years 1 months ago
2002
System-on-a-chip (SOC) platform manufacturers are increasingly adding configurable features that provide power and performance flexibility in order to increase a platform's ap...
132
click to vote
JOT
2010
15 years 12 hour ago
2010
Design contracts can be used in software development to ensure the preservation of assertions for program correctness. This can increase reliability in software design. Design by ...
106
click to vote
FORMATS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
121
click to vote
TIM
2010
14 years 8 months ago
2010
Abstract--The most popular representative devices of reconfigurable computing are the Field Programmable Gate Arrays (FPGAs). A promising feature of an FPGA is the ability to reuse...