Sciweavers

3500 search results - page 315 / 700
» Implementing Java on Clusters
Sort
View
117
Voted
HICSS
2000
IEEE
124views Biometrics» more  HICSS 2000»
15 years 4 months ago
An Empirical Study of Distribution based on Voyager: A Performance Analysis
The paper describes the model, implementation and experimental evaluation of a distributed Kohonen Neural Network application (Kohonen Application). The aim of this research is to...
Sérgio Viademonte, Frada Burstein, Fá...
AOSD
2008
ACM
15 years 2 months ago
StrongAspectJ: flexible and safe pointcut/advice bindings
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...
Bruno De Fraine, Mario Südholt, Viviane Jonck...
CC
2008
Springer
124views System Software» more  CC 2008»
15 years 2 months ago
Coqa: Concurrent Objects with Quantized Atomicity
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in our language has the desirable behaviors of ato...
Yu David Liu, Xiaoqi Lu, Scott F. Smith
ISSTA
2010
ACM
15 years 2 months ago
Analysis of invariants for efficient bounded verification
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
Juan P. Galeotti, Nicolás Rosner, Carlos L&...
110
Voted
IASTEDSEA
2004
15 years 2 months ago
Enterprise service facilitation within agent environments
A prerequisite of participating in an enterprise system is the ability to cope with the rigorous demands experienced within the system. In order to cope with these demands, a numb...
Edward Curry, Desmond Chambers, Gerard Lyons