698 search results - page 48 / 140 » Fast functional simulation using branching programs |
110
click to vote
CODES
2008
IEEE
15 years 3 months ago
2008
IEEE
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
101
click to vote
ASYNC
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper presents the architecture and design of a high-performance asynchronous Huffman decoder for compressed-code embedded processors. In such processors, embedded programs a...
138
click to vote
ROBOCUP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Two main challenges of robot action planning in real domains are uncertain action effects and dynamic environments. In this paper, an instance-based action model is lear...
122
click to vote
CEC
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper, the performance assessment of the hybrid Archive-based Micro Genetic Algorithm (AMGA) on a set of bound-constrained synthetic test problems is reported. The hybr...
126
click to vote
INFORMS
2010
14 years 12 months ago
2010
We present an approximate dynamic programming approach for making ambulance redeployment decisions in an emergency medical service system. The primary decision is where we should ...