6960 search results - page 224 / 1392 » Continuity Analysis of Programs |
144
Voted
LPNMR
2004
Springer
15 years 9 months ago
2004
Springer
A conflict clause represents a backtracking solver’s analysis of why a conflict occurred. This analysis can be used to further prune the search space and to direct the search h...
124
Voted
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. To guarantee timeliness in hard real-time systems the knowledge of the worst-case execution time (WCET) for its time-critical tasks is mandatory. Accurate and correct WCE...
124
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Due to fundamental physical limitations and power constraints, we are witnessing a radical change in commodity microprocessor architectures to multicore designs. Continued perform...
127
Voted
CISIS
2008
IEEE
15 years 5 months ago
2008
IEEE
While memory-safe and type-safe languages have been available for many years, the vast majority of software is still implemented in type-unsafe languages such as C/C++. Despite ma...
140
Voted
ICDE
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract— In recent years, XML-based Publish-Subscribe Systems have become popular due to the increased demand of timely event-notification. Users (or subscribers) pose complex ...