1995 search results - page 59 / 399 » Parallel and Distributed VHDL Simulation |
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
Stuttering bisimulation is a well-known behavioural equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preord...
117
click to vote
PDP
2008
IEEE
15 years 8 months ago
2008
IEEE
The match between a peer-to-peer overlay and the physical Internet infrastructure is a constant issue. Time-constrained peer-to-peer applications such as live streaming systems ar...
132
click to vote
ESCIENCE
2007
IEEE
15 years 8 months ago
2007
IEEE
Simulation studies of Grid scheduling strategies require representative workloads to produce dependable results. Real production Grid workloads have shown diverse correlation stru...
134
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Design space exploration of multiprocessors on chip requires both automatic performance analysis techniques and efficient multiprocessors configuration performance evaluation. Pr...
100
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
The unidirectional nature of propagation and predictable delays are two characteristics of optically pipelined buses that have made them popular in recent years. Many models have ...