1995 search results - page 97 / 399 » From Data Flow Networks to Process Algebras |
154
click to vote
DAGSTUHL
2010
15 years 5 months ago
2010
We have adopted a numerical method from computational fluid dynamics, the Lattice Boltzmann Method (LBM), for real-time simulation and visualization of flow and amorphous phenomen...
133
click to vote
CCR
1999
15 years 4 months ago
1999
Abstract-RSVP has been designed to support resource reservation in the Internet. However, it has two major problems: complexity and scalability. The former results in large message...
158
click to vote
ICANN
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. A procedure to estimate the parameters of GARCH processes with non-parametric innovations is proposed. We also design an improved technique to estimate the density of hea...
158
click to vote
FATES
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
131
click to vote
NCA
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, fundamental conditions which bound the network processing unit (NPU) worst-case performance are established. In particular, these conditions formalize and integrate...