Sciweavers

5235 search results - page 910 / 1047
» Analysis of Multithreaded Programs
Sort
View
IWPC
2003
IEEE
15 years 10 months ago
YAAB (Yet Another AST Browser): Using OCL to Navigate ASTs
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...
Giuliano Antoniol, Massimiliano Di Penta, Ettore M...
227
Voted
LICS
2003
IEEE
15 years 10 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
171
Voted
MICRO
2003
IEEE
125views Hardware» more  MICRO 2003»
15 years 10 months ago
Runtime Power Monitoring in High-End Processors: Methodology and Empirical Data
With power dissipation becoming an increasingly vexing problem across many classes of computer systems, measuring power dissipation of real, running systems has become crucial for...
Canturk Isci, Margaret Martonosi
137
Voted
RIDE
2003
IEEE
15 years 10 months ago
On Database Support for Multilingual Environments
Global e-Commerce and mass-outreach e-Governance programs have brought into sharp focus the need for database systems to store and manipulate text data efficiently in a suite of ...
A. Kumaran, Jayant R. Haritsa
141
Voted
CASES
2003
ACM
15 years 10 months ago
Polynomial-time algorithm for on-chip scratchpad memory partitioning
Focusing on embedded applications, scratchpad memories (SPMs) look like a best-compromise solution when taking into account performance, energy consumption and die area. The main ...
Federico Angiolini, Luca Benini, Alberto Caprara