5838 search results - page 1157 / 1168 » A File System for System Programming in Ubiquitous Computing |
158
click to vote
CSL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
157
click to vote
FPGA
2007
ACM
15 years 11 months ago
2007
ACM
Shrinking time-to-market and high demand for productivity has driven traditional hardware designers to use design methodologies that start from high-level languages. However, meet...
150
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Ant Colony Optimization (ACO) has been successfully applied to those combinatorial optimization problems which can be translated into a graph exploration. Artificial ants build s...
155
click to vote
LCPC
2007
Springer
15 years 11 months ago
2007
Springer
The Standard Template Adaptive Parallel Library (stapl) is a parallel programming framework that extends C++ and stl with support for parallelism. stapl provides a collection of pa...
144
click to vote
ICPADS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we utilize a bandwidth-centric job communication model that captures the interaction and impact of simultaneously co-allocating jobs across multiple clusters. We ma...