523 search results - page 38 / 105 » Transformations for Model Checking Distributed Java Programs |
139
click to vote
ICST
2009
IEEE
15 years 8 months ago
2009
IEEE
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
112
click to vote
PPPJ
2004
ACM
15 years 7 months ago
2004
ACM
This paper discusses the current resurgence of interest in the Linda coordination language for parallel and distributed programming. Particularly in the Java field, there have be...
ISORC
2005
IEEE
15 years 7 months ago
2005
IEEE
: While the conventional remote method invocation mechanism has been considered for a long time as the primary approach for facilitating interactions among real-time objects, a mul...
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple f...
142
click to vote
CONCUR
2008
Springer
15 years 3 months ago
2008
Springer
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...