6014 search results - page 883 / 1203 » Parametric Analysis of Computer Systems |
181
click to vote
MM
2009
ACM
15 years 9 months ago
2009
ACM
Television news has become the predominant way of understanding the world around us, but individual news broadcasters can frame or mislead an audience’s understanding of politic...
130
click to vote
MHCI
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we describe the Smart Profile Management application that was designed to help minimize mobile phone disruptions. The system does this by making phone profile chang...
130
click to vote
EUROPAR
2001
Springer
15 years 9 months ago
2001
Springer
High-accuracy PDE solvers use multi-dimensional fast Fourier transforms. The FFTs exhibits a static and structured memory access pattern which results in a large amount of communic...
124
Voted
AUIC
2000
IEEE
15 years 9 months ago
2000
IEEE
A trend in computing environments today is to move towards more ‘natural’ interaction, another is to make hardware invisible to the user. Both these ideas converge into ubiqui...
208
click to vote
CAV
1999
Springer
15 years 9 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...