3130 search results - page 130 / 626 » Design Correctness of Digital Systems |
132
Voted
ESOP
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contr...
147
Voted
DGO
2007
15 years 5 months ago
2007
A large portion of the government, business, cultural, and scientific digital data being created today needs to be archived and preserved for future use of periods ranging from a ...
100
Voted
IRI
2007
IEEE
15 years 10 months ago
2007
IEEE
The paper presents a technique for the design of digital systems on the basis of reusable hardware templates, which are circuits with modifiable functionality that might be custom...
122
Voted
AAAI
1990
15 years 4 months ago
1990
Troubleshooting problems in real manufacturing environments impose constraints on admissible solutions that make the computational solutions offered by "troubleshooting from ...
137
Voted
JCDL
2005
ACM
15 years 9 months ago
2005
ACM
Some large scale topical digital libraries, such as CiteSeer, harvest online academic documents by crawling open-access archives, university and author homepages, and authors’ s...