2624 search results - page 357 / 525 » The 2LIP model and its implementations |
DASFAA
2006
IEEE
14 years 4 months ago
2006
IEEE
In this paper we present a quality model highlighting the completeness of sensor data with respect to its application. The model allows consistent handling of information loss as d...
IPPS
2005
IEEE
14 years 4 months ago
2005
IEEE
We observe increasing interest in aggregating geographically distributed, heterogeneous resources to perform large scale computations. MPI remains the most popular programming par...
DNA
2005
Springer
14 years 3 months ago
2005
Springer
The first step of the Adleman-Lipton extract model in DNA computing is the combinatorial generation of libraries. In this paper a new method is proposed for generating a initial p...
TACAS
2005
Springer
14 years 3 months ago
2005
Springer
Searching the state space of a system using enumerative and on-the-fly depth-first traversal is an established technique for model checking finite-state systems. In this paper, ...
GC
2004
Springer
14 years 3 months ago
2004
Springer
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...