Sciweavers

3311 search results - page 261 / 663
» Deductive Object Programming
Sort
View
115
Voted
ICIP
1994
IEEE
16 years 4 months ago
An Object-oriented Optimization System
We describe the implementation of a graphical programming tool in the object-oriented language, Smalltalk80, that allows a user to construct a radiographic measurement model. The ...
G. S. Cunningham, K. M. Hanson, G. R. Jennings Jr....
109
Voted
ICCS
2005
Springer
15 years 8 months ago
Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...
Frédéric Loulergue, Fréd&eacu...
ECAI
2004
Springer
15 years 8 months ago
Introducing Alias Information into Model-Based Debugging
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
Daniel Köb, Franz Wotawa
98
Voted
ICTAI
2002
IEEE
15 years 7 months ago
A TMO Based Approach to Structuring Real-Time Agents
: Mobile agent structuring is an increasingly practiced branch of distributed computing software engineering. In this paper we discuss the major issues encountered in producing rea...
K. H. Kim
131
Voted
DPD
2002
163views more  DPD 2002»
15 years 2 months ago
Evolutionary Techniques for Web Caching
Web caching has been proposed as an effective solution to the problems of network traffic and congestion, Web objects access and Web load balancing. This paper presents a model for...
Athena Vakali