3116 search results - page 559 / 624 » Positively dependent types |
INFOCOM
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— To increase reliability and robustness of missioncritical services in the face of routing changes, it is often desirable and beneficial to take advantage of path diver...
VTS
2006
IEEE
15 years 3 months ago
2006
IEEE
We tackle the problem of fault-free assumptions in current PLB and interconnect built-in-self-test (BIST) techniques for FPGAs. These assumptions were made in order to develop stro...
ASPLOS
2006
ACM
15 years 3 months ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
HRI
2006
ACM
15 years 3 months ago
2006
ACM
Polymorphic, or shape-shifting, robots can normally tackle more types of tasks than non-polymorphic robots due to their flexible morphology. Their versatility adds to the challeng...
INFOVIS
2005
IEEE
15 years 3 months ago
2005
IEEE
Time series are an important type of data with applications in virtually every aspect of the real world. Often a large number of time series have to be monitored and analyzed in p...