69 search results - page 9 / 14 » Experiences in simulating a declarative multiprocessor |
CAV
2009
Springer
14 years 8 months ago
2009
Springer
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
ENTCS
2008
13 years 7 months ago
2008
This paper describes experiences from implementing key parts of a compiler for Modelica, an object-oriented language supporting declarative modeling and simulation of complex phys...
VISUALIZATION
1999
IEEE
13 years 11 months ago
1999
IEEE
We present an interactive navigation system for virtual colonoscopy, which is based solely on high performance volume rendering. Previous colonic navigation systems have employed ...
PDPTA
2003
13 years 8 months ago
2003
The class of complex modified Korteweg-de Vries (CMKdV) equations has many applications. One form of the CMKdV equation has been used to create models for the nonlinear evolution...
WSC
1997
13 years 8 months ago
1997
We describe our experiences designing and implementing a virtual PNNI network testbed. The network elements and signaling protocols modeled are consistent with the ATM Forum PNNI ...