Sciweavers

3971 search results - page 22 / 795
» On the Use of Properties in Java Applications
Sort
View
CONCURRENCY
1998
119views more  CONCURRENCY 1998»
15 years 2 months ago
C to Java: Converting Pointers into References
We consider the problem of converting C pointers to the less flexible concept of references. Our main application is converting scientific applications from C to Java. We provid...
Erik D. Demaine
IPPS
2006
IEEE
15 years 9 months ago
Babylon v2.0: middleware for distributed, parallel, and mobile Java applications
Babylon v2.0 is a collection of tools and services that provide a 100% Java compatible environment for developing, running and managing parallel, distributed and mobile Java appli...
Willem van Heiningen, Tim Brecht, Steve MacDonald
ICSE
2003
IEEE-ACM
16 years 3 months ago
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Ge...
CAV
2009
Springer
153views Hardware» more  CAV 2009»
16 years 3 months ago
Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep
Abstract. BeepBeep is a lightweight runtime monitor for Ajax web applications. Interface specifications are expressed internally in an extension of LTL with first-order quantificat...
Sylvain Hallé, Roger Villemaire
SPIN
2000
Springer
15 years 6 months ago
Using Runtime Analysis to Guide Model Checking of Java Programs
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
Klaus Havelund