1624 search results - page 98 / 325 » Integrating Fault-Tolerant Techniques into the Design of Cri... |
162
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
199
click to vote
USENIX
2003
15 years 7 months ago
2003
Despite constant improvements in fabrication technology, hardware components are consuming more power than ever. With the everincreasing demand for higher performance in highly-in...
162
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Current Static Timing Analysis (STA) techniques allow one to verify the timing of a circuit at different process corners which only consider cases where all the supplies are low o...
193
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
Numerous techniques exist to help users automate repetitive tasks; however, none of these methods fully support enduser creation, use, and modification of the learned tasks. We pr...
221
click to vote
JPDC
2008
15 years 6 months ago
2008
Recent advances in space and computer technologies are revolutionizing the way remotely sensed data is collected, managed and interpreted. In particular, NASA is continuously gath...