713 search results - page 121 / 143 » Toward a More Reliable Theory of Software Reliability |
108
click to vote
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
114
click to vote
ISPD
2007
ACM
15 years 1 months ago
2007
ACM
When VLSI technology scales toward 45nm, the lithography wavelength stays at 193nm. This large gap results in strong refractive effects in lithography. Consequently, it is a huge...
102
click to vote
PRESENCE
2002
14 years 11 months ago
2002
The literature often suggests that proprioceptive and especially vestibular cues are required for navigation and spatial orientation tasks involving rotations of the observer. To ...
PLDI
2010
ACM
15 years 4 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
100
click to vote
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...