605 search results - page 110 / 121 » A strategy for efficiently verifying requirements |
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
Quantum chemistry applications such as the General Atomic and Molecular Electronic Structure System (GAMESS) that can execute on a complex peta-scale parallel computing environment...
SIGCOMM
2010
ACM
13 years 9 months ago
2010
ACM
Energy efficiency is becoming increasingly important in the operation of networking infrastructure, especially in enterprise and data center networks. While strategies for lowerin...
RECOMB
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. So far, most methods for identifying sequences under selection based on comparative sequence data have either assumed selectional pressures are the same across all branch...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
In the past decades, parallel I/O systems have been used widely to support scientific and commercial applications. New data centers today employ huge quantities of I/O systems, wh...
CCECE
2009
IEEE
14 years 3 months ago
2009
IEEE
A workstation requires a low-power design similar to a typical PC. In this paper we propose several strategies to reduce the power consumption of a workstation. First, we must com...