6202 search results - page 1003 / 1241 » Without Loss of Generality |
195
click to vote
IEEEPACT
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper presents an automated performance tuning solution, which partitions a program into a number of tuning sections and finds the best combination of compiler options for e...
162
click to vote
IEEEPACT
2006
IEEE
16 years 20 days ago
2006
IEEE
Modern out-of-order processors with non-blocking caches exploit Memory-Level Parallelism (MLP) by overlapping cache misses in a wide instruction window. The exploitation of MLP, h...
202
click to vote
ISESE
2006
IEEE
16 years 19 days ago
2006
IEEE
Effective testing of safety-critical real-time embedded software is difficult and expensive. Many companies are hesitant about the cost of formalized criteria-based testing and a...
167
click to vote
MICRO
2006
IEEE
16 years 19 days ago
2006
IEEE
Dynamic software bug detection tools are commonly used because they leverage run-time information. However, they suffer from a fundamental limitation, the Path Coverage Problem: t...
215
click to vote
ACMICEC
2006
ACM
16 years 18 days ago
2006
ACM
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with “strangers”. This makes trust ...