7557 search results - page 1271 / 1512 » Modeling Timed Concurrent Systems |
216
click to vote
EMSOFT
2008
Springer
15 years 9 months ago
2008
Springer
In this paper, we propose a generalized clustering approach for static data flow subgraphs mapped onto individual processors in Multi-Processor System on Chips (MPSoCs). The goal ...
218
click to vote
ISPASS
2007
IEEE
16 years 1 months ago
2007
IEEE
— The design trend towards CMPs has made the simulation of multiprocessor systems a necessity and has also made multiprocessor systems widely available. While a serial multiproce...
216
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
166
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
We present an improved, prescient, scheme to deliver pre-encoded video streams at very low latency. We dynamically manage the prediction dependency for a group of packets using a ...
174
click to vote
ISBI
2008
IEEE
16 years 8 months ago
2008
IEEE
Image-based 3D atlases have been proven to be very useful in biological and medical research. They serve as spatial reference systems that enable researchers to integrate experime...