1013 search results - page 63 / 203 » A hardware implementation of realloc function |
EH
2000
IEEE
14 years 9 days ago
2000
IEEE
Evolvable Hardware (EHW) refers to HW design and selfreconfiguration using evolutionary/genetic mechanisms. The paper presents an overview of some key concepts of EHW, describing ...
ICCD
1991
IEEE
13 years 11 months ago
1991
IEEE
This article proposes a completion-detection method for efficiently implementing Boolean functions as self-timed logic structures. Current-Sensing Completion Detection, CSCD, allow...
DATE
2000
IEEE
14 years 10 days ago
2000
IEEE
The design process for an engine management system is presented. The functional specification of the system has been captured using C and C++ as specification languages. The val...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. This paper presents a practical automatic verification procedure for proving linearizability (i.e., atomicity and functional correctness) of concurrent data structure im...
CAV
2008
Springer
13 years 10 months ago
2008
Springer
This is the first system description of the Barcelogic SMT solver, which implements all techniques that our group has been developing over the last four years as well as state-of-t...