Search Sciweavers | Sciweavers

1661 search results - page 6 / 333

» Real-time specification patterns

click to vote

RTSS
2000
IEEE

196views Control Systems» more RTSS 2000»

Performance Specifications and Metrics for Adaptive Real-Time Systems

14 years 3 months ago

Download www.cs.virginia.edu

While early research on real-time computing was concerned with guaranteeing avoidance of undesirable effects such as overload and deadline misses, adaptive real-time systems are d...

Chenyang Lu, John A. Stankovic, Tarek F. Abdelzahe...

claim paper

Read More »

click to vote

ISORC
1998
IEEE

122views Distributed And Parallel Com...» more ISORC 1998»

Specification of Real-Time Interaction Constraints

14 years 3 months ago

Download www-osl.cs.uiuc.edu

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

claim paper

Read More »

click to vote

APSEC
2008
IEEE

189views Software Engineering» more APSEC 2008»

Behavioral Specification of Real-Time Requirements

14 years 5 months ago

Download ce.kashanu.ac.ir

This paper aims to present a systematic method to: (1) specify high-level and event based real-time requirements and (2) map the specified requirements to low-level and state-base...

Seyed Morteza Babamir, Faezeh Sadat Babamir

claim paper

Read More »

click to vote

DATE
2008
IEEE

119views Hardware» more DATE 2008»

ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis

14 years 5 months ago