1926 search results - page 318 / 386 » From P to MP Systems |
187
click to vote
RTA
2007
Springer
16 years 13 days ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
153
click to vote
HICSS
2006
IEEE
16 years 11 days ago
2006
IEEE
We assessed the feasibility of “bridging the digital divide” by training community health advisors (CHAs) from low-income communities to use high-quality Internet-based health...
203
click to vote
IPPS
2006
IEEE
16 years 10 days ago
2006
IEEE
Image and video codecs are prevalent in multimedia devices, ranging from embedded systems, to desktop computers, to high-end servers such as HDTV editing consoles. It is not uncom...
285
click to vote
PDP
2006
IEEE
16 years 10 days ago
2006
IEEE
Mobile ad hoc networks (MANETs) raise new challenges in designing protocols for solving the consensus problem. Among the others, how to design message efficient protocols so as to...
192
click to vote
SKG
2006
IEEE
16 years 10 days ago
2006
IEEE
The Grid provides mechanisms to share dynamic, heterogeneous, distributed resources spanned across multiple administrative domains. Resources required to execute a job are identif...