Sciweavers

2663 search results - page 75 / 533
» How to Choose a Timing Model
Sort
View
ICDE
2010
IEEE
195views Database» more  ICDE 2010»
15 years 4 months ago
Interaction-Aware Prediction of Business-Intelligence Workload Completion Times
— While planning the execution of report-generation workloads, database administrators often need to know how long different query workloads will take to run. Database systems ru...
Mumtaz Ahmad, Songyun Duan, Ashraf Aboulnaga, Shiv...
ISORC
1998
IEEE
15 years 4 months ago
Specification of Real-Time Interaction Constraints
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
Brian Nielsen, Shangping Ren, Gul Agha
HASE
2008
IEEE
15 years 1 hour ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
CBSE
2004
Springer
15 years 5 months ago
Introducing a Component Technology for Safety Critical Embedded Real-Time Systems
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...
Kristian Sandström, Johan Fredriksson, Mikael...
ECOOP
1999
Springer
15 years 4 months ago
Type-Safe Delegation for Run-Time Component Adaptation
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...
Günter Kniesel