Sciweavers

769 search results - page 108 / 154
» The Real-Time Specification for Java
Sort
View
ESOP
2010
Springer
14 years 6 months ago
Generative Operational Semantics for Relaxed Memory Models
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
Radha Jagadeesan, Corin Pitcher and James Riely
SEFM
2009
IEEE
14 years 3 months ago
Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...
Patrice Chalin
SEAA
2008
IEEE
14 years 3 months ago
Service Coroner: A Diagnostic Tool for Locating OSGi Stale References
The OSGi Services Platform provides a framework for the dynamic deployment of Java-based applications. It allows to install, to activate, to update and to uninstall application mo...
Kiev Gama, Didier Donsez
ITICSE
2005
ACM
14 years 2 months ago
From objects-first to design-first with multimedia and intelligent tutoring
“Objects-first” is an increasingly popular strategy for teaching object-oriented programming by introducing the concepts of objects, classes, and instances before procedural e...
Sally H. Moritz, Fang Wei, Shahida M. Parvez, Glen...
CD
2004
Springer
14 years 2 months ago
JPloy: User-Centric Deployment Support in a Component Platform
Based on a vision that, in the future, applications will be flexibly built out of small-grained components, we argue that current technologies do not adequately support component d...
Chris Lüer, André van der Hoek