606 search results - page 47 / 122 » Complexity Results for Checking Distributed Implementability |
135
click to vote
ICDCIT
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Clustering is a widely used approach to ease implementation of various problems such as routing and resource management in mobile ad hoc networks (MANET)s. We propose a n...
147
click to vote
AIL
2007
15 years 4 months ago
2007
In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current a...
262
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
148
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Portable systems such as cell phones and portable media players commonly use non-volatile RAM (NVRAM) to hold all of their data and metadata, and larger systems can store metadata...
139
click to vote
PPOPP
2005
ACM
15 years 10 months ago
2005
ACM
The Tensor Contraction Engine (TCE) is a domain-specific compiler for implementing complex tensor contraction expressions arising in quantum chemistry applications modeling elect...