1262 search results - page 8 / 253 » Techniques for obtaining high performance in Java programs |
96
Voted
CORR
2011
Springer
14 years 2 months ago
2011
Springer
In this paper, we reviewed of several portable parallel programming paradigms for use in a distributed programming environment. The Techniques reviewed here are portable. These ar...
96
Voted
CONCURRENCY
2000
14 years 10 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 ...
117
Voted
FMICS
2009
Springer
15 years 2 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
91
Voted
FASE
2009
Springer
15 years 5 months ago
2009
Springer
Reuse of existing libraries simplifies software development efforts. However, these libraries are often complex and reusing the APIs in the libraries involves a steep learning cu...
CAV
2012
Springer
13 years 1 months ago
2012
Springer
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...