1222 search results - page 118 / 245 » Verifying a File System Implementation |
151
Voted
IPPS
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we present the design and implementation of a distributed sensor network application for embedded, isolated-word, real-time speech recognition. In our system design...
130
Voted
ISCA
2005
IEEE
15 years 8 months ago
2005
IEEE
Recent years have seen a burgeoning interest in embedded wireless sensor networks with applications ranging from habitat monitoring to medical applications. Wireless sensor networ...
136
Voted
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
113
Voted
CLUSTER
2002
IEEE
15 years 7 months ago
2002
IEEE
A practical problem faced by users of metacomputers and computational grids is: If my computation can move from one system to another, how can I ensure that my data will still be ...
165
Voted
BMCBI
2010
14 years 9 months ago
2010
Background: The development, in the last decade, of stochastic heuristics implemented in robust application softwares has made large phylogeny inference a key step in most compara...