Sciweavers

2099 search results - page 298 / 420
» A Component Based Software Architecture for E-Government App...
Sort
View
RTS
2006
96views more  RTS 2006»
13 years 9 months ago
The TTA's Approach to Resilience after Transient Upsets
Abstract. The Time-Triggered Architecture, as architecture for safety-critical realtime applications, incorporates fault-tolerance mechanisms to ensure correct system operation des...
Wilfried Steiner, Michael Paulitsch, Hermann Kopet...
WORDS
2003
IEEE
14 years 2 months ago
Event-Driven Support of Real-Time Sentient Objects
The emergence of applications operating independently of direct human control is inevitable. Research on high-level models for this class of applications— e.g. on autonomous age...
Paulo Veríssimo, Antonio Casimiro
DAC
1994
ACM
14 years 15 days ago
Probabilistic Analysis of Large Finite State Machines
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fab...
CASCON
2000
85views Education» more  CASCON 2000»
13 years 10 months ago
Web-based specification and integration of legacy services
With the explosive growth of the Internet, businesses of all sizes aim on applying networkwide solutions to their IT infrastructures, migrating their legacy business processes int...
Ying Zou, Kostas Kontogiannis
HPCA
2001
IEEE
14 years 9 months ago
Dynamic Thermal Management for High-Performance Microprocessors
With the increasing clock rate and transistor count of today's microprocessors, power dissipation is becoming a critical component of system design complexity. Thermal and po...
David Brooks, Margaret Martonosi