12774 search results - page 207 / 2555 » A Framework for Proof Systems |
161
click to vote
ISCC
2003
IEEE
15 years 12 months ago
2003
IEEE
In previous work, we thoroughly studied the intricate problem of energy conservation in wireless ad hoc networks. Consequently, we proposed a novel framework, namely Quasi-Guarante...
194
click to vote
WORDS
2003
IEEE
15 years 12 months ago
2003
IEEE
A new class of applications can now be envisaged with the emergence of both mobile ad hoc computing and ubiquitous computing. Applications of such kind are characterised by being ...
160
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
In this paper we describe a trace analysis framework, from trace generation to visualization. It includes a unified tracing facility on IBM® SP™ systems, a self-defining interv...
166
click to vote
CLUSTER
2006
IEEE
15 years 10 months ago
2006
IEEE
Effective overlap of computation and communication is a well understood technique for latency hiding and can yield significant performance gains for applications on high-end compu...
203
click to vote
CISSE
2008
Springer
15 years 8 months ago
2008
Springer
SRI International's IraqComm system performs bidirectional speech-to-speech machine translation between English and Iraqi Arabic in the domains of force protection, municipal ...