9110 search results - page 440 / 1822 » Formally-Based Design Evaluation |
168
click to vote
GCC
2006
Springer
15 years 10 months ago
2006
Springer
Computational Grid technology has been noticed as an issue to solve large-scale bioinformatics-related problems and improves data accuracy and processing speed on multiple computa...
153
click to vote
FAST
2007
15 years 8 months ago
2007
In this paper, we present Nache, a caching proxy for NFSv4 that enables a consistent cache of a remote NFS server to be maintained and shared across multiple local NFS clients. Na...
187
click to vote
NAACL
1994
15 years 8 months ago
1994
To achieve reasonable accuracy in large vocabulary speech recognition systems, it is important to use detailed acoustic models together with good long span language models. For ex...
188
click to vote
AEI
1999
15 years 6 months ago
1999
Multihop lightwave networks are a means of utilizing the large bandwidth of optical fibers. In these networks, each node has a fixed number of transmitters and receivers connected...
200
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract-- Wireless sensor networks (WSNs) require energyef cient protocols to improve the network lifetime. In this work, we adopt a cross-layer strategy that considers routing an...