1755 search results - page 159 / 351 » An efficient simulation algorithm based on abstract interpre... |
117
Voted
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract-- The emerging high-rate wireless personal area network (WPAN) technology is capable of supporting high-speed and high-quality real-time multimedia applications. In partic...
131
Voted
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--This paper explores the computation and communication overlap capabilities enabled by the new CORE-Direct hardware capabilities introduced in the InfiniBand (IB) Host Cha...
255
Voted
EMO
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Bilevel optimization problems require every feasible upperlevel solution to satisfy optimality of a lower-level optimization problem. These problems commonly appear in ma...
139
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— We consider the problem of providing QoS guarantees to Grid users through advance reservation of resources. Advance reservation mechanisms provide the ability to alloca...
117
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: The number of algorithms available to predict ligand-protein interactions is large and ever-increasing. The number of test cases used to validate these methods is usua...