5128 search results - page 277 / 1026 » When Abstraction Fails |
259
click to vote
RTAS
1997
IEEE
15 years 11 months ago
1997
IEEE
ÐReal-time middleware services must guarantee predictable performance under specified load and failure conditions, and ensure graceful degradation when these conditions are violat...
209
click to vote
ICCAD
1993
IEEE
15 years 11 months ago
1993
IEEE
A new technique for design centering, and for polytope approximation of the feasible region for a design are presented. In the rst phase, the feasible region is approximated by a ...
201
click to vote
FPCA
1989
15 years 11 months ago
1989
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
236
click to vote
ELPUB
2007
ACM
15 years 11 months ago
2007
ACM
For national advisory services in the UK (UKOLN, CETIS, and OSS Watch), varieties of openness (open source software, open standards, and open access to research publications and d...
252
click to vote
EENERGY
2010
15 years 11 months ago
2010
Mobile network access has seemingly become ubiquitous in industrialized countries. With data services becoming sufficiently fast, usable, and affordable, demand is growing rapidly...