4767 search results - page 712 / 954 » Moving between Contexts |
181
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
170
click to vote
GLVLSI
2009
IEEE
16 years 1 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...
179
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
—During the evolution of a software system, a large amount of information, which is not always directly related to the source code, is produced. Several researchers have provided...
184
click to vote
ICEIS
2009
IEEE
16 years 1 months ago
2009
IEEE
In an information retrieval system, a thesaurus can be used for query expansion, i.e. adding words to queries in order to improve recall. We propose a semi-automatic and interactiv...
177
Voted
ICPP
2009
IEEE
16 years 1 months ago
2009
IEEE
Parallel simulation is a technique to accelerate microarchitecture simulation of CMPs by exploiting the inherent parallelism of CMPs. In this paper, we explore the simulation para...