7694 search results - page 272 / 1539 » An Implementation of an Applicative File System |
183
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
217
click to vote
TRIDENTCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Deploying and controlling experiments running on a distributed set of resources is a challenging task. Software developers often spend a significant amount of time dealing with the...
183
click to vote
HASE
1999
IEEE
15 years 11 months ago
1999
IEEE
Building dependable distributed systems using ad hoc methods is a challenging task. Without proper support, an application programmer must face the daunting requirement of having ...
179
click to vote
ESCIENCE
2006
IEEE
16 years 20 days ago
2006
IEEE
Scientific workflows are a powerful programming technique for specifying complex computations using a number of otherwise independent components. When used in a Grid environment, ...
151
click to vote
DSOM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Enterprise applications implement business resource management systems, customer relationship management systems, and general systems for commerce. These applications rel...