Sciweavers

9095 search results - page 20 / 1819
» Service RT Systems
Sort
View
RTAS
1997
IEEE
15 years 1 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...
88
Voted
APAL
2008
84views more  APAL 2008»
14 years 9 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
14 years 8 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
73
Voted
WISES
2004
14 years 11 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»
15 years 3 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 ...