4401 search results - page 435 / 881 » Computing with Default Logic |
141
click to vote
FPL
2005
Springer
16 years 10 days ago
2005
Springer
Many System-on-a-Chip devices would benefit from the inclusion of reprogrammable logic on the silicon die, as it can add general computing ability, provide run-time reconfigurabil...
193
click to vote
GCC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. A hybrid workflow system could be treated as a domain-across infrastructure by incorporating different workflow systems and WfMSs engaged in the complex business processi...
192
click to vote
GECCO
2004
Springer
16 years 6 days ago
2004
Springer
In Twenty Problems in the Theory of Cellular Automata, Stephen Wolfram asks “how common computational universality and undecidability [are] in cellular automata.” This papers p...
176
click to vote
IPPS
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
161
click to vote
APPT
2003
Springer
16 years 1 days ago
2003
Springer
This paper focuses on the problem of scheduling outages to computer systems in complex distributed environments. The interconnected nature of these systems makes scheduling global ...