Sciweavers

1932 search results - page 127 / 387
» Molecule-oriented programming in Java
Sort
View
173
Voted
SEMWEB
2011
Springer
14 years 3 months ago
The OWL API: A Java API for OWL ontologies
We present the OWL API, a high level Application Programming Interface (API) for working with OWL ontologies. The OWL API is closely aligned with the OWL 2 structural specificatio...
Matthew Horridge, Sean Bechhofer
PPOPP
2006
ACM
15 years 6 months ago
Scalable synchronous queues
We present two new nonblocking and contention-free implementations of synchronous queues, concurrent transfer channels in which producers wait for consumers just as consumers wait...
William N. Scherer III, Doug Lea, Michael L. Scott
CASSIS
2004
Springer
15 years 6 months ago
ESC/Java2: Uniting ESC/Java and JML
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
David R. Cok, Joseph Kiniry
CARDIS
2006
Springer
114views Hardware» more  CARDIS 2006»
15 years 4 months ago
A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods
Ahead-of-Time and Just-in-Time compilation are common ways to improve runtime performances of restrained systems like Java Card by turning critical Java methods into native code. H...
Alexandre Courbot, Mariela Pavlova, Gilles Grimaud...
SIGADA
2005
Springer
15 years 6 months ago
Experimental performance analysis of ada programs in cluster system
In this paper, we describe the use of the Ada language for programming in modern cluster systems. The results of experimental performance analysis of Ada and Java programs in a re...
Korochkin Alexandr, Salah Imad, Korochkin Dmitry