Sciweavers

2278 search results - page 168 / 456
» Specification Techniques for Automatic Performance Analysis ...
Sort
View
ASPLOS
2009
ACM
16 years 7 months ago
Commutativity analysis for software parallelization: letting program transformations see the big picture
Extracting performance from many-core architectures requires software engineers to create multi-threaded applications, which significantly complicates the already daunting task of...
Farhana Aleen, Nathan Clark
SCAM
2008
IEEE
16 years 24 days ago
Aspect-Aware Points-to Analysis
Points-to analysis is a fundamental analysis technique whose results are useful in compiler optimization and software engineering tools. Although many points-to analysis algorithm...
Qiang Sun, Jianjun Zhao
COOPIS
2000
IEEE
15 years 10 months ago
Exploring the Semantic Structure of Technical Document Collections: A Cooperative Systems Approach
The identification and analysis of the knowledge available in document form is a key element of corporate knowledge management. In engineering-intensive organizations, it involves...
Andreas Becks, Stefan Sklorz, Matthias Jarke
VLSID
2002
IEEE
149views VLSI» more  VLSID 2002»
16 years 6 months ago
Functional Partitioning for Low Power Distributed Systems of Systems-on-a-Chip
In this paper, we present a functional partitioning method for low power real-time distributed embedded systems whose constituent nodes are systems-on-a-chip (SOCs). The systemlev...
Yunsi Fei, Niraj K. Jha
DEXAW
2007
IEEE
172views Database» more  DEXAW 2007»
15 years 10 months ago
X-SOM: A Flexible Ontology Mapper
System interoperability is a well known issue, especially for heterogeneous information systems, where ontologybased representations may support automatic and usertransparent inte...
Carlo Curino, Giorgio Orsi, Letizia Tanca