9110 search results - page 1718 / 1822 » Formally-Based Design Evaluation |
137
click to vote
ACMDIS
2004
ACM
15 years 8 months ago
2004
ACM
This paper continues the movement from technology centered to human centered approaches in the study of tasks that involve finding, understanding, and using information, and tools...
139
Voted
ACMICEC
2004
ACM
15 years 8 months ago
2004
ACM
This paper presents a loosely coupled service-composition paradigm. This paradigm employs a distributed data flow that differs markedly from centralized information flow adopted b...
122
click to vote
ACMICEC
2004
ACM
15 years 8 months ago
2004
ACM
Elaborating on the rapid evolution of mobile entertainment services, this paper investigates customers’ preferences and attitudes towards mobile music services in Europe through...
119
Voted
ACMMSP
2004
ACM
15 years 8 months ago
2004
ACM
Instruction combining is an optimization to replace a sequence of instructions with a more efficient instruction yielding the same result in a fewer machine cycles. When we use it...
145
click to vote
ASPLOS
2004
ACM
15 years 8 months ago
2004
ACM
Power density in high-performance processors continues to increase with technology generations as scaling of current, clock speed, and device density outpaces the downscaling of s...