2470 search results - page 361 / 494 » Liveness-Preserving Simulation Relations |
181
click to vote
CCGRID
2005
IEEE
16 years 15 days ago
2005
IEEE
ABSTRACT. Objectives. This paper addresses Grid-based integration and access of distributed data from infectious disease patient databases, literature on in-vitro and in-vivo pharm...
207
click to vote
PPDP
2005
Springer
16 years 11 days ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
174
click to vote
CASES
2004
ACM
16 years 9 days ago
2004
ACM
As on-chip networks become prevalent in multiprocessor systemson-a-chip and multi-core processors, they will be an integral part of the design flow of such systems. With power in...
173
click to vote
ACISP
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. XL was first introduced to solve determined or overdetermined systems of equations over a finite field as an “algebraic attack” against multivariate cryptosystems....
211
click to vote
CODES
2003
IEEE
16 years 5 days ago
2003
IEEE
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...