1624 search results - page 196 / 325 » Integrating Fault-Tolerant Techniques into the Design of Cri... |
152
click to vote
LOPSTR
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present an approach to a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and alg...
146
click to vote
SG
2005
Springer
15 years 12 months ago
2005
Springer
Developments in basic neurological research and techniques used to train professional athletes suggest that one way of facilitating this learning process of motor schemas is throug...
182
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Power dissipation is becoming the most challenging design constraint in nanometer technologies. Among various design implementation schemes, standard cell ASICs offer the best pow...
167
click to vote
SOFTVIS
2005
ACM
16 years 14 hour ago
2005
ACM
Observing the evolution of very large software systems is difficult because of the sheer amount of information that needs to be analyzed and because the changes performed in the s...
146
click to vote
EMNETS
2007
15 years 10 months ago
2007
Deployment of a wireless sensor network (WSN) system is a critical step because theoretical models and assumptions often differ from real environmental characteristics and perform...