7557 search results - page 355 / 1512 » Modeling Timed Concurrent Systems |
166
click to vote
SBACPAD
2008
IEEE
16 years 1 months ago
2008
IEEE
Due to the advent of multi-core processors and the consequent need for better concurrent programming abstractions, new synchronization paradigms have emerged. A promising one, kno...
182
click to vote
PRDC
2007
IEEE
16 years 29 days ago
2007
IEEE
We propose a comprehensive solution to handle memory-overflow problems in multitasking embedded systems thereby improving their reliability and availability. In particular, we pro...
182
click to vote
MATES
2005
Springer
16 years 6 days ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for dec...
181
click to vote
AIIA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The paper discusses a distributed approach for monitoring and diagnosing the execution of a plan where concurrent actions are performed by a team of cooperating agents. T...
166
click to vote
ADAEUROPE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...