Sciweavers

6308 search results - page 1021 / 1262
» Modeling Urgency in Timed Systems
Sort
View
AGENTS
2001
Springer
15 years 10 months ago
Wasp nests for self-configurable factories
Agent-based approaches to manufacturing scheduling and control have gained increasing attention in recent years. Such approaches are attractive because they o er increased robustn...
Vincent A. Cicirello, Stephen F. Smith
EMSOFT
2008
Springer
15 years 8 months ago
A generalized static data flow clustering algorithm for mpsoc scheduling of multimedia applications
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 ...
Joachim Falk, Joachim Keinert, Christian Haubelt, ...
BMCBI
2010
178views more  BMCBI 2010»
15 years 6 months ago
Applications of a formal approach to decipher discrete genetic networks
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...
Fabien Corblin, Eric Fanchon, Laurent Trilling
ISBI
2008
IEEE
16 years 7 months ago
Visualizing morphogenesis and growth by temporal interpolation of surface-based 3D atlases
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...
Chavdar Papazov, Vincent J. Dercksen, Hans Lamecke...
WWW
2008
ACM
16 years 7 months ago
Offline matching approximation algorithms in exchange markets
Motivated by several marketplace applications on rapidly growing online social networks, we study the problem of efficient offline matching algorithms for online exchange markets....
Zeinab Abbassi, Laks V. S. Lakshmanan
« Prev « First page 1021 / 1262 Last » Next »