1192 search results - page 100 / 239 » Computing Weakest Readings |
139
click to vote
VLSID
2007
IEEE
16 years 3 months ago
2007
IEEE
The Discrete Wavelet Transform (DWT) forms the core of the JPEG2000 image compression algorithm. Since the JPEG2000 compression application is heavily data-intensive, the overall ...
109
Voted
RTSS
2008
IEEE
15 years 10 months ago
2008
IEEE
The standard design of control systems is based on the periodic sampling. Every period the data is read from the input, the control law is computed, and the output is written to t...
117
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents Geo-Linda, a physically distributed tuple space. Geo-Linda targets ubiquitous computing applications involving the detection of movement patterns of objects an...
144
click to vote
LFCS
2007
Springer
15 years 9 months ago
2007
Springer
We introduce a natural deduction formulation for the Logic of Proofs, a refinement of modal logic S4 in which the assertion PA is replaced by [[s]]A whose intended reading is “s...
125
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we show how high-level UML models of mobile computing applications can be analysed for classical performance measures such as throughput. The approach proceeds by co...