3602 search results - page 110 / 721 » Isn't It About Time |
IPPS
2010
IEEE
13 years 7 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...
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
With OWL 2 about to be completed, it is the right time to start discussions on possible future modifications of OWL. We present here a number of suggestions in order to discuss th...
ISVLSI
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents an approach to dynamically balance the pipeline by scaling the stage supply voltages. Simulation results show that by such an approach about 50% improvement in...
CAV
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents a symbolic model checking algorithm for Fixpoint Logic with Chop, an extension of the modal µ-calculus capable of defining non-regular properties. Some empiri...
GECCO
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Two methods were evaluated for performing spectral breakpoint matching: a multi-level pruned exhaustive search and a genetic algorithm. The GA found matches about as good...