4311 search results - page 161 / 863 » Code Generation for Distributed Systems |
145
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
122
click to vote
EDO
2005
Springer
15 years 7 months ago
2005
Springer
A distribution model for the new generation of component languages, which allows to plug required into provided interfaces, is presented together with the distributed component la...
137
Voted
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
110
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper explains how efficient support for semiregular distributions can be incorporated in a uniform compilation framework for hybrid applications. The key focus of this work ...
115
Voted
IICS
2003
Springer
15 years 7 months ago
2003
Springer
Middleware technologies have been facilitating the communication between the distributed applications. Traditional messaging system’s are synchronous and have inherent weaknesses...