4940 search results - page 590 / 988 » On the Complexity of Universal Programs |
168
click to vote
IDEAS
2005
IEEE
16 years 11 days ago
2005
IEEE
Laboratory information systems (LIMS) are used in life science research to manage complex experiments. Since LIMS systems are often shared by different research groups, powerful a...
173
click to vote
NCA
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper deals with general nested loops and proposes a novel scheduling methodology for reducing the communication cost of parallel programs. General loops contain complex loop...
171
click to vote
TPHOL
2005
IEEE
16 years 10 days ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
171
click to vote
PODC
2005
ACM
16 years 10 days ago
2005
ACM
In this paper, we initiate the study of the approximability of the facility location problem in a distributed setting. In particular, we explore a trade-off between the amount of...
128
click to vote
PASTE
2004
ACM
16 years 5 days ago
2004
ACM
Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made i...