Sciweavers

9095 search results - page 20 / 1819
» Service RT Systems
Sort
View
RTAS
1997
IEEE
13 years 12 months ago
Real-time CORBA
This paper presents a survey of results in developing Real-Time CORBA, a standard for real-time management of distributed objects. The paper includes background on two areas that ...
Victor Fay Wolfe, Lisa Cingiser DiPippo, Roman Gin...
APAL
2008
84views more  APAL 2008»
13 years 7 months ago
Resolution over linear equations and multilinear proofs
We develop and study the complexity of propositional proof systems of varying strength extending resolution by allowing it to operate with disjunctions of linear equations instead ...
Ran Raz, Iddo Tzameret
ATC
2010
Springer
13 years 6 months ago
Improving the Trustworthiness of Service QoS Information in Service-Based Systems
Service-oriented architecture facilitates rapid development and management of large-scale distributed servicebased systems (SBS), where new workflows are composed of available serv...
Stephen S. Yau, Jing Huang, Yin Yin
WISES
2004
13 years 9 months ago
Using Triggers to Find Significant Events During Monitoring of Real-Time Systems
-- A main prerequisite for the successful development of real-time systems is the capability for debugging and monitoring of these systems. The debugging of real-time systems is mo...
Idriz Smaili
ASPDAC
2006
ACM
131views Hardware» more  ASPDAC 2006»
14 years 1 months ago
POSIX modeling in SystemC
- Early estimation of the execution time of Real-Time embedded SW is an essential task in complex, HW/SW embedded system design. Application SW execution time estimation requires t...
Hector Posadas, Jesús Ádamez, Pablo ...