4067 search results - page 770 / 814 » Programs for Applying Symmetries |
ISSTA
2006
ACM
14 years 3 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
IUI
2006
ACM
14 years 3 months ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
MINENET
2006
ACM
14 years 3 months ago
2006
ACM
Security incidents have an adverse impact not only on end systems, but also on Internet routing, resulting in many out-of-reach prefixes. Previous work has looked at performance ...
BROADNETS
2005
IEEE
14 years 2 months ago
2005
IEEE
— Networks employ link protection to achieve fast recovery from link failures. While the first link failure can be protected using link protection, there are several alternative...
CGO
2005
IEEE
14 years 2 months ago
2005
IEEE
Software code caches are becoming ubiquitous, in dynamic optimizers, runtime tool platforms, dynamic translators, fast simulators and emulators, and dynamic compilers. Caching fre...