4940 search results - page 837 / 988 » On the Complexity of Universal Programs |
153
click to vote
ICCAD
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper, we propose a novel fault-oriented test generation methodology for detection and isolation of faults in analog circuits. Given the description of the circuit-underte...
167
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
The instruction sets of general-purpose microprocessors are designed to offer good performance across a wide range of programs. The size and complexity of the instruction sets, how...
164
click to vote
SAC
2000
ACM
15 years 10 months ago
2000
ACM
Since 1990 the Web has changed from a distributed hypertext system to an efficient environment for application delivery. Due to the legacy of the Web implementation model the deve...
169
click to vote
SIGSOFT
2000
ACM
15 years 10 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
158
click to vote
CC
2000
Springer
15 years 10 months ago
2000
Springer
Mode-Automata have been proposed in [11]. They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of runn...