Sciweavers

3971 search results - page 22 / 795
» On the Use of Properties in Java Applications
Sort
View
CONCURRENCY
1998
119views more  CONCURRENCY 1998»
13 years 8 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
14 years 3 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
14 years 9 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»
14 years 9 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
14 years 17 days 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