3507 search results - page 513 / 702 » Slicing for architectural analysis |
192
click to vote
ICPP
1996
IEEE
15 years 11 months ago
1996
IEEE
The ability to automatically parallelize standard programming languages results in program portability across a wide range of machine architectures. It is the goal of the Polaris ...
200
click to vote
KDD
1997
ACM
15 years 11 months ago
1997
ACM
MineSetTM , Silicon Graphics’ interactive system for data mining, integrates three powerful technologies: database access, analytical data mining, and data visualization. It sup...
183
click to vote
PODC
1994
ACM
15 years 11 months ago
1994
ACM
In this paper, we investigate the practical performance of lock-free techniques that provide synchronization on shared-memory multiprocessors. Our goal is to provide a technique t...
236
click to vote
ER
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
168
click to vote
CGO
2004
IEEE
15 years 11 months ago
2004
IEEE
Operand gating is a technique for improving processor energy efficiency by gating off sections of the data path that are unneeded by short-precision (narrow) operands. A method fo...