252 search results - page 31 / 51 » Dynamic Symbolic Execution of Distributed Concurrent Objects |
114
click to vote
SAC
2009
ACM
15 years 9 months ago
2009
ACM
In this paper, we consider minimizing the system-level energy consumption through dynamic voltage scaling for embedded devices, while a) allowing concurrent access to shared objec...
179
click to vote
KIVS
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. After introducing the concept of mobile agents and potential application domains, we motivate why mobile agent technology is an interesting concept for large Internet-bas...
152
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper deals with large, distributed real-time systems that have execution times and resource utilizations which cannot be characterized a priori. (The motivation for our work ...
112
Voted
VLDB
1995
ACM
15 years 6 months ago
1995
ACM
New demandsare put on query processing in Object-Oriented(00) databasesto provide efficient andrelationally completequery languages. A flexible 00 data model requires overloading ...
131
click to vote
ICS
1999
Tsinghua U.
15 years 6 months ago
1999
Tsinghua U.
This paper presents a technique, adaptive replication, for automatically eliminating synchronization bottlenecks in multithreaded programs that perform atomic operations on object...