409 search results - page 58 / 82 » Functional Validation of Programmable Architectures |
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
ASPLOS
2006
ACM
14 years 2 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
DAC
1998
ACM
14 years 10 months ago
1998
ACM
We have developed a new algorithm and software for graph coloring by systematically combining several algorithm and software development ideas that had crucial impact on the algor...
IAT
2009
IEEE
14 years 3 months ago
2009
IEEE
Application of autonomous intelligent systems into airspace domain is very important nowadays. The paper presents decentralized collision avoidance algorithm utilizing a solution ...
ISCAS
2008
IEEE
14 years 3 months ago
2008
IEEE
—In this paper we describe the fabrication and characterization of a multiplexed biosensor based on molecular bio-wires that can be used for detecting multiple pathogens in a bio...