5599 search results - page 385 / 1120 » Abstract State Services |
188
click to vote
SIPS
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— This paper is interested in applying voltage overscaling (VOS) to reduce trellis decoder energy consumption, where the key issue is how to minimize the decoding perform...
174
Voted
QEST
2005
IEEE
16 years 9 days ago
2005
IEEE
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
137
click to vote
GRID
2005
Springer
16 years 8 days ago
2005
Springer
Abstract— Differential Deserialization (DDS) is a SOAP optimization technique wherein servers save checkpoints and parser states associated with portions of previously received m...
200
click to vote
ISVC
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Virtual agents are used to interact with humans in a myriad of applications. However, the agents often lack the believability necessary to maximize their effectiveness. T...
163
click to vote
SPIN
2005
Springer
16 years 6 days ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...