805 search results - page 47 / 161 » Modeling and Analyzing Periodic Distributed Computations |
FTDCS
2003
IEEE
14 years 2 months ago
2003
IEEE
A situation-aware middleware provides standardized communication protocols to interoperate an application with others under dynamically changing situations. Since the application ...
BIRTHDAY
2010
Springer
13 years 5 months ago
2010
Springer
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...
PARLE
1987
14 years 19 days ago
1987
A context-freegrammar(CFG)in GreibachNormalForm coincides,in anothernotation,witha system of guarded recursion equations in Basic Process Algebra. Hence to each CFG a process can b...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
The distributed data storage on unreliable devices, connected by a short-range radio network is analyzed. Failing devices incur loss of data. To prevent the loss, the data is spli...
RTSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— Dynamic voltage scaling (DVS) is a promising technique for battery-powered systems to conserve energy consumption. Most existing DVS algorithms assume information about...