Sciweavers

100 search results - page 15 / 20
» Specifying Cross-Cutting Requirement Concerns
Sort
View
RTSS
2000
IEEE
13 years 11 months ago
Performance Specifications and Metrics for Adaptive Real-Time Systems
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...
HPCN
1998
Springer
13 years 11 months ago
Application Execution Steering using On-the-Fly Performance Prediction
The execution of an application on a high performance system requires parameters concerning the problem in hand, and those that determine the system mapping, to be specified by a ...
Darren J. Kerbyson, Efstathios Papaefstathiou, Gra...
APSEC
2001
IEEE
13 years 10 months ago
Formal Specification of Mixed Components with Korrigan
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
Christine Choppy, Pascal Poizat, Jean-Claude Royer
SPAA
1995
ACM
13 years 10 months ago
Provably Efficient Scheduling for Languages with Fine-Grained Parallelism
Many high-level parallel programming languages allow for fine-grained parallelism. As in the popular work-time framework for parallel algorithm design, programs written in such lan...
Guy E. Blelloch, Phillip B. Gibbons, Yossi Matias
ADC
2008
Springer
100views Database» more  ADC 2008»
13 years 9 months ago
UserMap : an Adaptive Enhancing of User-Driven XML-to-Relational Mapping Strategies
As the XML has become a standard for data representation, it is inevitable to propose and implement techniques for efficient managing of XML data. A natural alternative is to expl...
Irena Mlynkova, Jaroslav Pokorný