Sciweavers

9842 search results - page 197 / 1969
» Compositional timing analysis
Sort
View
ECRTS
2004
IEEE
15 years 6 months 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
102
Voted
COMPCON
1995
IEEE
15 years 6 months ago
REINAS: the Real-Time Environmental Information Network and Analysis System
The Real-Time Environmental Information Network and Analysis System (REINAS) is a distributed system supporting the conduct of regional environmental science research at the desk ...
Darrell D. E. Long, Patrick E. Mantey, Craig M. Wi...
125
Voted
CAISE
2008
Springer
15 years 4 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
124
Voted
ECCV
2008
Springer
16 years 4 months ago
A Comparative Analysis of RANSAC Techniques Leading to Adaptive Real-Time Random Sample Consensus
The Random Sample Consensus (RANSAC) algorithm is a popular tool for robust estimation problems in computer vision, primarily due to its ability to tolerate a tremendous fraction o...
Rahul Raguram, Jan-Michael Frahm, Marc Pollefeys
119
Voted
ISBI
2006
IEEE
16 years 3 months ago
Application of temporal texture features to automated analysis of protein subcellular locations in time series fluorescence micr
Protein subcellular locations, as an important property of proteins, are commonly learned using fluorescence microscopy. Previous work by our group has shown that automated analys...
Yanhua Hu, Jesus Carmona, Robert F. Murphy