Sciweavers

8496 search results - page 119 / 1700
» Problem Solving and Complex Systems
Sort
View
ECRTS
2004
IEEE
14 years 27 days ago
An Event Stream Driven Approximation for the Analysis of Real-Time Systems
This paper presents a new approach to understand the event stream model. Additionally a new approximation algorithm for the feasibility test of the sporadic and the generalized mu...
Karsten Albers, Frank Slomka
CIDR
2003
134views Algorithms» more  CIDR 2003»
13 years 10 months ago
Approximate Range Selection Queries in Peer-to-Peer Systems
We present an architecture for a data sharing peer-to-peer system where the data is shared in the form of database relations. In general, peer-to-peer systems try to locate exactm...
Abhishek Gupta, Divyakant Agrawal, Amr El Abbadi
QSIC
2005
IEEE
14 years 2 months ago
Formal Fault Tree Analysis of State Transition Systems
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
Jianwen Xiang, Kazuhiro Ogata
IPPS
2003
IEEE
14 years 2 months ago
Remote Model Reduction of Very Large Linear Systems
We describe a prototype Web service for model reduction of very large-scale linear systems. Specifically, a userfriendly interface is designed so that model reduction can be easi...
Peter Benner, Rafael Mayo, Enrique S. Quintana-Ort...
DATE
2007
IEEE
144views Hardware» more  DATE 2007»
14 years 3 months ago
Adaptive power management in energy harvesting systems
Recently, there has been a substantial interest in the design of systems that receive their energy from regenerative sources such as solar cells. In contrast to approaches that at...
Clemens Moser, Lothar Thiele, Davide Brunelli, Luc...