9931 search results - page 1727 / 1987 » Generative Modeling by PRISM |
139
click to vote
ASPDAC
2004
ACM
15 years 8 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
130
click to vote
ASYNC
2004
IEEE
15 years 8 months ago
2004
IEEE
As integrated circuit technologies get smaller, circuit and architectural trends make transmitting data across long on-chip wires increasingly important yet increasingly expensive...
144
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
115
click to vote
CNSR
2004
IEEE
15 years 8 months ago
2004
IEEE
An ad-hoc network is formed when a group of wireless nodes pledge to help each other in passing packets based upon a pre-agreed protocol. Temporally Ordered Routing Algorithm (TOR...
132
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
We study the effects of various emergent topologies of interaction on the rate of language convergence in a population of communicating agents. The agents generate, parse, and lea...