Sciweavers

1995 search results - page 59 / 399
» Parallel and Distributed VHDL Simulation
Sort
View
CONCUR
2009
Springer
16 years 22 days ago
Computing Stuttering Simulations
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...
Francesco Ranzato, Francesco Tapparo
PDP
2008
IEEE
16 years 16 days ago
Internet-Scale Simulations of a Peer Selection Algorithm
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...
Ali Boudani, Yiping Chen, Gilles Straub, Gwendal S...
ESCIENCE
2007
IEEE
16 years 15 days ago
Model-Driven Simulation of Grid Scheduling Strategies
Simulation studies of Grid scheduling strategies require representative workloads to produce dependable results. Real production Grid workloads have shown diverse correlation stru...
Hui Li, Rajkumar Buyya
IPPS
2006
IEEE
16 years 5 days ago
Multiprocessor on chip: beating the simulation wall through multiobjective design space exploration with direct execution
Design space exploration of multiprocessors on chip requires both automatic performance analysis techniques and efficient multiprocessors configuration performance evaluation. Pr...
Riad Ben Mouhoub, Omar Hammami
IPPS
2006
IEEE
16 years 5 days ago
Simulating a PR-mesh on an LARPBS
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 ...
M. Gopalan, Anu G. Bourgeois, José Alberto ...