Sciweavers

1932 search results - page 247 / 387
» Molecule-oriented programming in Java
Sort
View
CD
2004
Springer
15 years 6 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
111
Voted
VMCAI
2004
Springer
15 years 6 months ago
Applying Jlint to Space Exploration Software
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
Cyrille Artho, Klaus Havelund
MOBILITY
2009
ACM
15 years 5 months ago
Lively for Qt: a platform for mobile web applications
The convergence of desktop, mobile and web application development has resulted in new types of software systems. These new systems are built to leverage the World Wide Web, and t...
Tommi Mikkonen, Antero Taivalsaari, Mikko Terho
JAVA
2001
Springer
15 years 5 months ago
Supporting dynamic parallel object arrays
We present efficient support for generalized arrays of parallel data driven objects. Array elements are regular C++ objects, and are scattered across the parallel machine. An indi...
Orion Sky Lawlor, Laxmikant V. Kalé
101
Voted
ECOOP
2007
Springer
15 years 4 months ago
Efficiently Generating Structurally Complex Inputs with Thousands of Objects
Abstract. We present Shekoosh, a novel framework for constraint-based generation of structurally complex inputs of large sizes. Given a Java predicate that represents the desired s...
Bassem Elkarablieh, Yehia Zayour, Sarfraz Khurshid