32032 search results - page 6067 / 6407 » Verified programming in Guru |
166
click to vote
LOPSTR
2007
Springer
16 years 29 days ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
178
click to vote
OOPSLA
2007
Springer
16 years 29 days ago
2007
Springer
A comfort zone is a tested region of a system’s input space within which it has been observed to behave acceptably. To keep systems operating within their comfort zones, we advo...
242
click to vote
OOPSLA
2007
Springer
16 years 29 days ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
248
click to vote
PATMOS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...
192
click to vote
PPAM
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...