668 search results - page 10 / 134 » Evaluation of Parallel Logic Simulation Using DVSIM |
IPPS
2007
IEEE
15 years 3 months ago
2007
IEEE
There are two popular parallel programming paradigms available to high performance computing users such as engineering and physics professionals: message passing and distributed s...
102
Voted
ICPP
2006
IEEE
15 years 3 months ago
2006
IEEE
— Molecular Dynamics (MD) is an important atomistic simulation technique, with widespread use in computational chemistry, biology, and materials. An important limitation of MD is...
QEST
2008
IEEE
15 years 3 months ago
2008
IEEE
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...
EUROPAR
2001
Springer
15 years 2 months ago
2001
Springer
Operand bypass logic might be one of the critical structures for future microprocessors to achieve high clock speed. The delay of the logic imposes the execution time budget to be ...
61
Voted
ISVLSI
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper, we propose Boost Logic, a logic family which relies on voltage scaling, gate overdrive and energy recovery techniques to achieve high energy efficiency at frequenc...