Sciweavers

3119 search results - page 98 / 624
» Abstract Requirement Analysis in Multiagent System Design
Sort
View
CODES
2006
IEEE
15 years 4 months ago
Integrated analysis of communicating tasks in MPSoCs
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...
Simon Schliecker, Matthias Ivers, Rolf Ernst
WSC
1998
14 years 11 months ago
Analysis of Conveyor Systems within Automotive Final Assembly
This study describes an application of discrete-process simulation to a final assembly process within the automotive industry. The study addressed the issues of whether the proces...
Edward J. Williams, Haldun Çelik
ATAL
2005
Springer
15 years 3 months ago
Reasoning about joint beliefs for execution-time communication decisions
Just as POMDPs have been used to reason explicitly about uncertainty in single-agent systems, there has been recent interest in using multi-agent POMDPs to coordinate teams of age...
Maayan Roth, Reid G. Simmons, Manuela M. Veloso
COMPSAC
2008
IEEE
15 years 4 months ago
Embedded Systems Resources: Views on Modeling and Analysis
The conflicting requirements of real-time embedded systems, e.g. minimizing memory usage while still ensuring that all deadlines are met at run-time, require rigorous analysis of...
Aneta Vulgarakis, Cristina Cerschi Seceleanu
DAC
2002
ACM
15 years 11 months ago
Model composition for scheduling analysis in platform design
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...
Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf E...