5707 search results - page 114 / 1142 » Symbolic Simulation - Techniques and Applications |
CCS
2010
ACM
14 years 9 months ago
2010
ACM
We present the first sound program transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsafe SQL...
ATVA
2011
Springer
13 years 10 months ago
2011
Springer
In [AKL10], we showed how viewing online algorithms as reactive systems enables the application of ideas from formal verification to the competitive analysis of online algorithms....
ISCA
2007
IEEE
15 years 4 months ago
2007
IEEE
We explore the emerging application area of physics-based simulation for computer animation and visual special effects. In particular, we examine its parallelization potential and...
104
click to vote
BMCBI
2005
14 years 10 months ago
2005
Background: Coalescent simulations are playing a large role in interpreting large scale intraspecific sequence or polymorphism surveys and for planning and evaluating association ...
65
Voted
ICPP
2003
IEEE
15 years 3 months ago
2003
IEEE
An important characteristic of distributed grids is that they allow geographically separated multicomputers to be tied together in a transparent virtual environment to solve large...