Sciweavers

464 search results - page 28 / 93
» A Java Development and Runtime Environment for Reconfigurabl...
Sort
View
JAVA
1999
Springer
14 years 8 days ago
Performance Measurement of Dynamically Compiled Java Executions
CT With the development of dynamic compilers for Java, Java’s performance promises to rival that of equivalent C/C++ binary executions. This should ensure that Java will become t...
Tia Newhall, Barton P. Miller
KBSE
2000
IEEE
14 years 12 days ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
SAC
2010
ACM
14 years 2 months ago
Checking concurrent contracts with aspects
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...
Eric Kerfoot, Steve McKeever
ENTCS
2008
131views more  ENTCS 2008»
13 years 8 months ago
Connector Rewriting with High-Level Replacement Systems
Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed from primi...
Christian Koehler, Alexander Lazovik, Farhad Arbab
IPPS
2006
IEEE
14 years 2 months ago
Exploiting dynamic proxies in 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