7557 search results - page 356 / 1512 » Modeling Timed Concurrent Systems |
156
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
Models of computation like Kahn and dataflow process networks provide convenient means for modeling signal processing applicahis is partly due to the abstract primitives that thes...
150
click to vote
FDL
2008
IEEE
16 years 1 months ago
2008
IEEE
In the real-time and embedded domain, systems tend to combine periodic and aperiodic computations. This leads to mixing event-triggered with timetriggered communications with thei...
212
click to vote
GSEM
2004
Springer
16 years 2 days ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...
158
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Synchronous Data Flow Graphs (SDFGs) have proved to be a very successful tool for modeling, analysis and synthesis of multimedia applications targeted at both single- and multiproc...
154
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we propose a control strategy to improve the combustion efficiency of Spark Ignited engines. More precisely, we adapt the spark ignition time according to varia...