1271 search results - page 45 / 255 » On Simulation-Checking with Sequential Systems |
DATE
2010
IEEE
14 years 25 days ago
2010
IEEE
—We present Huckleberry, a tool for automatically generating parallel implementations for multi-core platforms from sequential recursive divide-and-conquer programs. The recursiv...
ICRA
1993
IEEE
13 years 12 months ago
1993
IEEE
In this paper weshowthat parallel search techniquesderived fromtheir sequential counterparts can enable the solution of instances of the robot motionplanningproblemthat are comput...
EURODAC
1990
IEEE
13 years 11 months ago
1990
IEEE
This paper discusses the selection of available components during high-level synthesis. We stress the importance of describing the behaviour of available components in some langua...
CRYPTO
2005
Springer
14 years 1 months ago
2005
Springer
We study the question whether the sequential or parallel composition of two functions, each indistinguishable from a random function by non-adaptive distinguishers is secure agains...
TODAES
1998
13 years 7 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...