7694 search results - page 558 / 1539 » An Implementation of an Applicative File System |
191
click to vote
SAMOS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we present a particularly lightweight, integrative approach to programming and executing applications targeting heterogeneous, dynamically reconfigurable ...
187
click to vote
IV
2006
IEEE
16 years 1 months ago
2006
IEEE
We describe a novel application for sonic events namely their generation via mathematical functions implemented on a universal all purpose Java platform. Their design is driven by...
168
Voted
TPHOL
2005
IEEE
16 years 19 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
174
click to vote
EMSOFT
2004
Springer
16 years 13 days ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
214
click to vote
RE
2004
Springer
16 years 12 days ago
2004
Springer
Due to the generality and complexity of enterprise systems, they are challenging to implement and deploy successfully in organizations. Many of these problems are rooted in the wa...