2278 search results - page 128 / 456 » Specification Techniques for Automatic Performance Analysis ... |
150
click to vote
GLVLSI
2009
IEEE
15 years 12 months ago
2009
IEEE
In the context of nanoscale networks-on-chip (NoCs), each link implementation solution is not just a specific synthesis optimization technique with local performance and power im...
110
click to vote
AIPS
1998
15 years 6 months ago
1998
The choice of an appropriate problem-solving method, from available methods, is a crucial skill for experts in many areas. We describe a technique for the automatic selection amon...
132
Voted
AIM
2004
15 years 5 months ago
2004
Satellite domains are becoming a fashionable area of research within the AI community due to the complexity of the problems that these domains need to solve. With the current US a...
230
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
156
Voted
SIGMETRICS
2005
ACM
15 years 10 months ago
2005
ACM
The running time of many applications is dominated by the cost of memory operations. To optimize such applications for a given platform, it is necessary to have a detailed knowled...