790 search results - page 65 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
145
Voted
CONCURRENCY
1998
15 years 3 months ago
1998
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allow...
140
click to vote
FOAL
2009
ACM
15 years 10 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
126
Voted
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
138
Voted
CONCURRENCY
2000
15 years 3 months ago
2000
Java's support for parallel and distributed processing makes the language attractive for metacomputing applications, such as parallel applications that run on geographically ...
124
Voted
ECOOP
1994
Springer
15 years 7 months ago
1994
Springer
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...