3645 search results - page 113 / 729 » Implementing mapping composition |
143
click to vote
FM
2009
Springer
15 years 8 days ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
154
click to vote
JUCS
2010
14 years 9 months ago
2010
: We develop and study the concept of dataflow process networks as used for example by Kahn to suit exact computation over data types related to real numbers, such as continuous fu...
136
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Implementing real-time video processing systems put high requirements on computation and memory performance. FPGAs have proven to be effective implementation architecture for thes...
136
click to vote
RTSS
2005
IEEE
15 years 8 months ago
2005
IEEE
Mapping a set of feedback control components to executable code introduces errors due to a variety of factors such as discretization, computational delays, and scheduling policies...
110
click to vote
ICCAD
1997
IEEE
15 years 6 months ago
1997
IEEE
We present a novel method for state minimization of incompletely-specified finite state machines. Where classic methods simply minimize the number of states, ours directly addre...