Sciweavers

2278 search results - page 261 / 456
» Specification Techniques for Automatic Performance Analysis ...
Sort
View
DATE
2009
IEEE
113views Hardware» more  DATE 2009»
16 years 27 days ago
Scalable compile-time scheduler for multi-core architectures
As the number of cores continues to grow in both digital signal and general purpose processors, tools which perform automatic scheduling from model-based designs are of increasing...
Maxime Pelcat, Pierrick Menuet, Slaheddine Aridhi,...
164
Voted
SIGSOFT
2006
ACM
16 years 6 months ago
Finding failure-inducing changes in java programs using change classification
Testing and code editing are interleaved activities during program development. When tests fail unexpectedly, the changes that caused the failure(s) are not always easy to find. W...
Barbara G. Ryder, Frank Tip, Maximilian Störz...
ISESE
2005
IEEE
15 years 11 months ago
Empirical study design in the area of high-performance computing (HPC)
The development of High-Performance Computing (HPC) programs is crucial to progress in many fields of scientific endeavor. We have run initial studies of the productivity of HPC d...
Forrest Shull, Jeffrey Carver, Lorin Hochstein, Vi...
ISLPED
1995
ACM
70views Hardware» more  ISLPED 1995»
15 years 9 months ago
Transformation and synthesis of FSMs for low-power gated-clock implementation
We present a technique that automatically synthesizes nite state machines with gated clocks to reduce the power dissipation of the nal implementation. We describe a new transfor...
Luca Benini, Giovanni De Micheli
138
Voted
JODS
2008
76views Data Mining» more  JODS 2008»
15 years 6 months ago
Exploring the Semantic Web as Background Knowledge for Ontology Matching
In this paper we propose an ontology matching paradigm based on the idea of harvesting the Semantic Web, i.e., automatically finding and exploring multiple and heterogeneous online...
Marta Sabou, Mathieu d'Aquin, Enrico Motta