1304 search results - page 200 / 261 » Evaluating Hardware Compilation Techniques |
204
click to vote
SG
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Utilizing context information—e.g. location, user aspects, or hardware capabilities—enables the presented generic framework to automatically control the selection and...
142
click to vote
INFOCOM
2008
IEEE
16 years 22 days ago
2008
IEEE
—Hardware advances will allow us to embed small devices into everyday objects such as toasters and coffee mugs, thus naturally form a wireless object network that connects the ob...
161
click to vote
ISCAS
2007
IEEE
16 years 18 days ago
2007
IEEE
Abstract– This paper presents an improved topological algorithm for device-level analog placement with symmetry constraints. Based on the exploration of symmetric-feasible sequen...
166
click to vote
SAT
2007
Springer
16 years 13 days ago
2007
Springer
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that incorporates the best SAT and Max-SAT techniques. It can handle hard clauses (clauses of mandatory satisfaction as ...
182
click to vote
DFT
2006
IEEE
16 years 11 days ago
2006
IEEE
Abstract— This paper proposes the control of monomer concentration as a novel improvement of the kinetic Tile Assembly Model (kTAM) to reduce the error rate in DNA selfassembly. ...