2774 search results - page 403 / 555 » Query-Driven Program Testing |
103
Voted
IWMM
2007
Springer
15 years 7 months ago
2007
Springer
Numerous optimizations exist for improving the performance of nondeferred reference-counting (RC) garbage collection. Their designs are ad hoc, intended to exploit different count...
117
Voted
CODES
2006
IEEE
15 years 7 months ago
2006
IEEE
Reliability in embedded processors can be improved by control flow checking and such checking can be conducted using software or hardware. Proposed software-only approaches suffe...
99
Voted
KBSE
2006
IEEE
15 years 7 months ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
122
Voted
ECLIPSE
2006
ACM
15 years 7 months ago
2006
ACM
The popularity of XML has motivated the development of novel XML processing tools many of which embed the XPath language for XML querying, transformation, constraint specificatio...
89
Voted
BROADNETS
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— We explore network design principles for nextgeneration all-optical wide-area networks, employing light-trail technology. Light-trail [1] is a light-wave circuit that a...