9387 search results - page 1528 / 1878 » An Optimal Process Model for a Real Time Process |
173
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Conceptual-relational mappings between conceptual models and relational schemas have been used increasingly to achieve interoperability or overcome impedance mismatch in modern dat...
189
click to vote
NIPS
2001
15 years 8 months ago
2001
We describe a programmable multi-chip VLSI neuronal system that can be used for exploring spike-based information processing models. The system consists of a silicon retina, a PIC...
180
click to vote
ENTCS
2006
15 years 6 months ago
2006
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
182
click to vote
TON
2008
15 years 6 months ago
2008
By allowing end hosts to make independent routing decisions at the application level, different overlay networks may unintentionally interfere with each other. This paper describes...
188
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...