762 search results - page 111 / 153 » Conditionally correct superoptimization |
112
Voted
EUROPAR
2009
Springer
15 years 7 months ago
2009
Springer
Pilot-job systems have emerged as a computation paradigm to cope with heterogeneity of production grids, greatly improving fault ratios and latency. Tools like DIANE, WISDOM-II, To...
121
click to vote
RT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We present a new data structure for encoding the appearance of a geometric model as seen from a viewing region (view cell). This representation can be used in interactive...
113
click to vote
ECRTS
2000
IEEE
15 years 7 months ago
2000
IEEE
The imprecise computation(IC) model is a general scheduling framework, capable of expressing the precision vs. timeliness trade-off involved in many current real-time applications...
103
Voted
MICRO
2000
IEEE
15 years 7 months ago
2000
IEEE
The design and implementation of a modern microprocessor creates many reliability challenges. Designers must verify the correctness of large complex systems and construct implemen...
105
Voted
ISSTA
2000
ACM
15 years 7 months ago
2000
ACM
—Before designing safety- or mission-critical real-time systems, a specification of the required behavior of the system should be produced and reviewed by domain experts. After ...