Sciweavers

983 search results - page 77 / 197
» Topology-Based Performance Analysis and Optimization of Late...
Sort
View
WCET
2008
14 years 11 months ago
TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis
TUBOUND is a conceptually new tool for the worst-case execution time (WCET) analysis of programs. A distinctive feature of TUBOUND is the seamless integration of a WCET analysis c...
Adrian Prantl, Markus Schordan, Jens Knoop
CLIMA
2011
13 years 9 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
IPPS
2005
IEEE
15 years 3 months ago
Automated Analysis of Memory Access Behavior
Abstract— We developed an automated environment to measure the memory access behavior of applications on high performance clusters. Code optimization for processor caches is cruc...
Michael Gerndt, Tianchao Li
VTC
2008
IEEE
113views Communications» more  VTC 2008»
15 years 4 months ago
On Design of TDD for Joint Uplink and Downlink Resource Allocation in OFDMA-Based WiMax
— In this paper, we study the joint design of uplink and downlink resources in OFDMA-based systems. We first analyze the interactions between uplink and downlink, due essentiall...
Tijani Chahed, Salah-Eddine Elayoubi, Eitan Altman
SIGMOD
1993
ACM
93views Database» more  SIGMOD 1993»
15 years 1 months ago
Design and Implementation of the Glue-Nail Database System
We describe the design and implementation of the Glue-Nail database system. The Nail language is a purely declarative query language; Glue is a procedural language used for nonque...
Marcia A. Derr, Shinichi Morishita, Geoffrey Phipp...