Sciweavers

9842 search results - page 143 / 1969
» Compositional timing analysis
Sort
View
IPPS
2005
IEEE
14 years 2 months ago
The Design of the OpenSTARS Adaptive Analyzer for Real-Time Distributed Systems
This paper describes the design of the OpenSTARS real-time analysis tool. The paper focuses on criteria for a good analysis tool including correctness, performance/scalability, fl...
Kevin Bryan, Tiegeng Ren, Jiangyin Zhang, Lisa Cin...
CAISE
2006
Springer
14 years 27 days ago
Loosely-Coupled Process Automation in Medical Environments
Abstract. We discuss a case study for the hospital scenario where workflow model components are distributed across various computers or devices (e.g. mobile phones, PDAs, sensors, ...
Jurate Vysniauskaite
TC
2011
13 years 4 months ago
Performing Arithmetic Operations on Round-to-Nearest Representations
—During any composite computation, there is a constant need for rounding intermediate results before they can participate in further processing. Recently, a class of number repre...
Peter Kornerup, Jean-Michel Muller, Adrien Panhale...
CSDA
2006
191views more  CSDA 2006»
13 years 9 months ago
Forecasting daily time series using periodic unobserved components time series models
We explore a periodic analysis in the context of unobserved components time series models that decompose time series into components of interest such as trend, seasonal and irregu...
Siem Jan Koopman, Marius Ooms
BPM
2000
Springer
133views Business» more  BPM 2000»
14 years 23 days ago
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...
Wil M. P. van der Aalst