11160 search results - page 2131 / 2232 » Incompleteness in a General Setting |
201
click to vote
ECRTS
2010
IEEE
15 years 4 months ago
2010
IEEE
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...
136
click to vote
CODES
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
202
click to vote
ESA
2010
Springer
15 years 4 months ago
2010
Springer
We study the problem of estimating the average of a Lipschitz continuous function f defined over a metric space, by querying f at only a single point. More specifically, we explore...
138
click to vote
CONEXT
2009
ACM
15 years 4 months ago
2009
ACM
Motivated by increased concern over energy consumption in modern data centers, we propose a new, distributed computing platform called Nano Data Centers (NaDa). NaDa uses ISP-cont...
167
click to vote
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Traditional parallel programming methodologies for improving performance assume cache-based parallel systems. However, new architectures, like the IBM Cyclops-64 (C64), b...