4962 search results - page 605 / 993 » Stochastic Model Checking |
145
click to vote
GLVLSI
2005
IEEE
15 years 10 months ago
2005
IEEE
We have presented an optimal on-chip buffer allocation and buffer insertion methodology which uses stochastic models of the architecture. This methodology uses finite buffer s...
123
Voted
INFOCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— We propose a measurement-based routing algorithm to load balance intradomain traffic along multiple paths for multiple multicast sources. Multiple paths are establishe...
144
Voted
APN
2004
Springer
15 years 10 months ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
140
Voted
IV
2003
IEEE
15 years 10 months ago
2003
IEEE
Diffusion-Limited Aggregation (DLA) is a model of fractal growth. Computer models can simulate the fast aggregation of millions of particles. In this paper, we propose a modified ...
139
click to vote
DNA
2003
Springer
15 years 10 months ago
2003
Springer
In this paper we report the design and synthesis of DNA molecules (referred to as DNA tiles) with specific binding interactions that guide self-assembly to make one-dimensional as...