1195 search results - page 44 / 239 » Modeling an Algebraic Stepper |
168
click to vote
STTT
2011
15 years 17 days ago
2011
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
156
Voted
PROCEDIA
2010
15 years 4 months ago
2010
We are interested in the simulation and optimization of gas transport in networks. Those networks consist of pipes and various other components like compressor stations and valves...
145
Voted
TCS
2010
15 years 10 days ago
2010
The literature on definitions of security based on causality-like notions such as noninterference has used several distinct semantic models for systems. Early work was based on st...
149
Voted
PE
2000
Springer
15 years 5 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...
151
click to vote
MTA
2000
15 years 5 months ago
2000
In this paper we present our research and development experience in the context of Interactive Multimedia Documents (IMDs). We define a rich model for such documents covering the ...