Sciweavers

101 search results - page 9 / 21
» Exception Handling in Object-Oriented Real-Time Distributed ...
Sort
View
ICRA
1994
IEEE
154views Robotics» more  ICRA 1994»
13 years 10 months ago
The Network Data Delivery Service: Real-Time Data Connectivity for Distributed Control Applications
The Network Data Delivery Service NDDS is a novel network data-sharing system. NDDS builds on the model of information producers sources and consumers sinks. Producers generate da...
Gerardo Pardo-Castellote, Stanley A. Schneider
ESAW
2008
Springer
13 years 8 months ago
Exception Handling in Goal-Oriented Multi-Agent Systems
Abstract. Cooperative, autonomous and distributed properties of multiagent systems deduce the dynamic capabilities of multi-agent system applications. On the other hand, these suit...
Ibrahim Cakirlar, Erdem Eser Ekinci, Oguz Dikenell...
CC
2008
Springer
130views System Software» more  CC 2008»
13 years 8 months ago
IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries
Abstract. A key scalability challenge for interprocedural dataflow analysis comes from large libraries. Our work addresses this challenge for the general category of interprocedura...
Atanas Rountev, Mariana Sharp, Guoqing Xu
ARTS
1999
Springer
13 years 11 months ago
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
Paul Z. Kolano
IPPS
2007
IEEE
14 years 1 months ago
Capacity Sharing and Stealing in Dynamic Server-based Real-Time Systems
This paper proposes a dynamic scheduler that supports the coexistence of guaranteed and non-guaranteed bandwidth servers to efficiently handle soft-tasks’ overloads by making a...
Luís Nogueira, Luís Miguel Pinho