217 search results - page 12 / 44 » Developing numerical libraries in Java |
JIT
2004
Springer
15 years 2 months ago
2004
Springer
In this paper we present a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques and can be used with every standard Jav...
ISSTA
2010
ACM
14 years 11 months ago
2010
ACM
Writing reliable software is difficult. It becomes even more difficult when writing scientific software involving floating-point numbers. Computers provide numbers with limite...
88
Voted
CCGRID
2001
IEEE
15 years 1 months ago
2001
IEEE
In this paper, we describe the results of an experiment to add support for multimethod communication to the NexusJava communications library using metalevel programming techniques...
KBSE
2009
IEEE
15 years 4 months ago
2009
IEEE
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...