2607 search results - page 257 / 522 » Complete Functional Synthesis |
104
click to vote
WISE
2002
Springer
15 years 9 months ago
2002
Springer
In this paper we describe the architectural and functional characteristics of Bus Catcher, a context sensitive prototype system for public transportation users. Bus Catcher assist...
133
click to vote
FSTTCS
2001
Springer
15 years 9 months ago
2001
Springer
Given a binary relation IE ∪ IR on the set of ground terms e signature, we define an abstract rewrite closure for IE ∪ IR. act rewrite closure can be interpreted as a speciali...
131
click to vote
ATS
2000
IEEE
15 years 9 months ago
2000
IEEE
: In this paper a complete analysis of spot defects in industrial SRAMs will be presented. All possible defects are simulated, and the resulting electrical faults are transformed i...
131
click to vote
RSP
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper discusses the initial results of research into the development of a hardware/software co-design of the Java virtual machine. The design considers a complete Java virtua...
138
click to vote
CL
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, an algorithm for obtaining consistent answers to queries posed to inconsistent relational databases is presented. The algorith is proven to be sound, terminating and...