322 search results - page 24 / 65 » A Case Study of Hardware and Software Synthesis in ForSyDe |
ISCA
2002
IEEE
13 years 7 months ago
2002
IEEE
This paper introduces the Simulation Architecture Description Language (SADL) developed at the National Aeronautics and Space Administration's Marshall Space Flight Center to...
ATVA
2007
Springer
14 years 1 months ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
PPOPP
2009
ACM
14 years 8 months ago
2009
ACM
This paper introduces a new way to provide strong atomicity in an implementation of transactional memory. Strong atomicity lets us offer clear semantics to programs, even if they ...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
In spite of the high parallelism exhibited by cellular automata architectures, most implementations are usually run in software. For increasing execution parallelism, hardware imp...
ECBS
2009
IEEE
14 years 2 months ago
2009
IEEE
Software systems have to be changed continuously and evolutionarily throughout the whole time of their development and usage. Meanwhile, the software systems have to remain flexi...