Sciweavers

100 search results - page 15 / 20
» Specifying Cross-Cutting Requirement Concerns
Sort
View
RTSS
2000
IEEE
15 years 6 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
15 years 6 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
15 years 5 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
15 years 5 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»
15 years 3 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ý