7456 search results - page 1219 / 1492 » Parallelism in Logic Programming |
138
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
114
click to vote
FGCS
2006
15 years 4 months ago
2006
The optical virtual concatenation (OVC) function of The Terabit LAN was demonstrated for the first time at the iGrid 2005 workshop in San Diego, California. The TERAbit-LAN establ...
100
click to vote
VLSISP
2008
15 years 4 months ago
2008
Many different video processor architectures exist. Its architecture gives a processor strength for a particular application. Hardwired logic yields the best performance/cost, but ...
131
click to vote
IPL
1998
15 years 3 months ago
1998
Vector timestamps provide a way of recording the causal relationships between events in a distributed computation. We draw attention to a limitation of such timestamps when used t...
127
click to vote
IGPL
2010
15 years 2 months ago
2010
Researchers studying complex cognition have grown increasingly interested in mapping symbolic cognitive architectures onto subsymbolic brain models. Such a mapping seems essential...