5536 search results - page 248 / 1108 » Programming Languages for Distributed Applications |
203
click to vote
ASPLOS
2004
ACM
16 years 1 days ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
151
click to vote
ESCIENCE
2006
IEEE
16 years 20 days ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
171
click to vote
EAGC
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we propose a computational grid platform called JaWS++ that seeks to harvest the power of idle pools of workstations connected through the Internet and integrate them...
203
click to vote
ECBS
2004
IEEE
15 years 10 months ago
2004
IEEE
The focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed...
163
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...