6142 search results - page 449 / 1229 » The Complexity of Partition Functions |
176
click to vote
GECCO
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. The current trend in Embedded Systems (ES) design is moving towards the integration of increasingly complex applications on a single chip. An Embedded System has to satis...
186
click to vote
CODES
2003
IEEE
16 years 4 days ago
2003
IEEE
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...
159
Voted
GLVLSI
2003
IEEE
16 years 3 days ago
2003
IEEE
The MINCE heuristic for variable-ordering [1] successfully reduces the size of BDDs and can accelerate SAT-solving. Applications to reachability analysis have also been successful...
168
click to vote
HICSS
2003
IEEE
16 years 3 days ago
2003
IEEE
The Visual Acts theory aims to provide intelligent assistance for camera viewpoint selection during teleoperation. It combines top-down partitioning of a task and bottom-up monito...
192
click to vote
IPPS
2003
IEEE
16 years 3 days ago
2003
IEEE
The accurate modeling of the electronic structure of atoms and molecules involves computationally intensive tensor contractions involving large multi-dimensional arrays. The effi...