11112 search results - page 228 / 2223 » Computing Stuttering Simulations |
163
click to vote
SCL
2008
15 years 6 months ago
2008
In this paper a computational algorithm for nonlinear balanced realization and model reduction based on Taylor series expansion is proposed. This algorithm requires recursive comp...
158
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
335
click to vote
FDG
2009
ACM
16 years 1 months ago
2009
ACM
An important challenge in virtual environment applications is to steer virtual characters through complex and dynamic worlds. The characters should be able to plan their paths and...
164
click to vote
IPPS
2008
IEEE
16 years 29 days ago
2008
IEEE
We present an auto-tuning approach to optimize application performance on emerging multicore architectures. The methodology extends the idea of searchbased performance optimizatio...
176
click to vote
CSFW
2006
IEEE
16 years 19 days ago
2006
IEEE
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...