5838 search results - page 793 / 1168 » A File System for System Programming in Ubiquitous Computing |
168
click to vote
WIA
2009
Springer
16 years 25 days ago
2009
Springer
FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy pro...
167
click to vote
ICALP
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. We study – within the framework of propositional proof complexity – the problem of certifying unsatisfiability of CNF formulas under the promise that any satisfiabl...
161
click to vote
PVM
2007
Springer
16 years 11 days ago
2007
Springer
Many existing clusters use inexpensive Gigabit Ethernet and often have multiple interfaces cards to improve bandwidth and enhance fault tolerance. We investigate the use of Concurr...
168
click to vote
ESCIENCE
2006
IEEE
16 years 9 days ago
2006
IEEE
Modern scientific experiments can generate large amounts of data, which may be replicated and distributed across multiple resources to improve application performance and fault to...
162
click to vote
FMCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...