805 search results - page 47 / 161 » Modeling and Analyzing Periodic Distributed Computations |
110
Voted
FTDCS
2003
IEEE
15 years 8 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 ...
188
Voted
BIRTHDAY
2010
Springer
14 years 11 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...
132
Voted
PARLE
1987
15 years 6 months 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...
98
Voted
ATAL
2005
Springer
15 years 8 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...
154
click to vote
RTSS
2005
IEEE
15 years 8 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...