523 search results - page 89 / 105 » Transformations for Model Checking Distributed Java Programs |
113
click to vote
VIROLOGY
2008
15 years 4 months ago
2008
A malware mutation engine is able to transform a malicious program to create a different version of the program. Such mutation engines are used at distribution sites or in self-pro...
210
Voted
CONCUR
1993
Springer
15 years 9 months ago
1993
Springer
During the course of the last decade, a mathematical model for the parallelization of FOR-loops has become increasingly popular. In this model, a (perfect) nest of r FOR-loops is r...
123
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
UPC’s implicit communication and fine-grain programming style make application performance modeling a challenging task. The correspondence between remote references and communi...
138
click to vote
ICDCS
2005
IEEE
15 years 10 months ago
2005
IEEE
We present middleware for a Server Development Environment that facilitates live development of SOAP and CORBA servers. As the underlying implementation platform, we use JPie, a t...
138
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
4 Automatic differentiation is the primary means of obtaining analytic5 derivatives from a numerical model given as a computer program. There-6 fore, it is an essential productivi...