Sciweavers

147 search results - page 9 / 30
» Abstract Architecture for Task-oriented Multi-agent Problem ...
Sort
View
FPL
1998
Springer
106views Hardware» more  FPL 1998»
13 years 11 months ago
Acceleration of Satisfiability Algorithms by Reconfigurable Hardware
Abstract. We present different architectures to solve Boolean satisfiability problems in instance-specific hardware. A simulation of these architectures shows that for examples fro...
Marco Platzner, Giovanni De Micheli
DAC
2009
ACM
14 years 7 months ago
Human computing for EDA
Electronic design automation is a field replete with challenging ? and often intractable ? problems to be solved over very large instances. As a result, the field of design automa...
Andrew DeOrio, Valeria Bertacco
CP
2009
Springer
13 years 10 months ago
Constraint-Based Local Search for the Automatic Generation of Architectural Tests
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
Pascal Van Hentenryck, Carleton Coffrin, Boris Gut...
ISCAS
2005
IEEE
115views Hardware» more  ISCAS 2005»
14 years 9 days ago
VLSI architecture based on packet data transfer scheme and its application
Abstract— Packet data transfer scheme is introduced for intrachip data transfer to solve an interconnection problem. Double transmission lines are provided as a platform of the m...
Yuya Homma, Michitaka Kameyama, Yoshichika Fujioka...
ICCCN
2007
IEEE
14 years 1 months ago
Design of a Network Service Architecture
— Considerable research efforts in the networking community are focused on defining a new Internet architecture that not only solves some of the problems of the current design, ...
Sivakumar Ganapathy, Tilman Wolf