1888 search results - page 232 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
158
click to vote
ISORC
2006
IEEE
15 years 10 months ago
2006
IEEE
Automatic memory management or garbage collection greatly simplifies the development of large systems. However, garbage collection is usually not used in real-time systems due to...
129
click to vote
GCC
2007
Springer
15 years 8 months ago
2007
Springer
Recently, grid computing has become a popular technology for large-scale scientific or business computing. Grid workflow system can enhance the flexibility and efficiency of the g...
119
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper presents SOAR: the first oblivious atomicity assertion with polynomial complexity. SOAR enables to check atomicity of a single-writer multi-reader register imp...
124
click to vote
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...
138
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
In the domain of desktop software, design patterns have had a profound impact; they are applied ubiquitously across a broad range of applications. Patterns serve both to promulgat...