Sciweavers

2613 search results - page 62 / 523
» Proposal for Tools Supporting Component Based Programming
Sort
View
IPPS
2003
IEEE
15 years 10 months ago
Padico: A Component-Based Software Infrastructure for Grid Computing
This paper describes work in progress to develop a component-based software infrastructure, called Padico, for computational grids based on the CORBA Component Model from the OMG....
Alexandre Denis, Christian Pérez, Thierry P...
134
Voted
ICDCS
2003
IEEE
15 years 10 months ago
Monitoring and Characterization of Component-Based Systems with Global Causality Capture
Current software development techniques and tools lack the capability to characterize function call chains in multithreaded and distributed applications built upon component techn...
Jun Li
ENC
2007
IEEE
15 years 11 months ago
fMRI Brain Image Retrieval Based on ICA Components
This manuscript proposes a retrieval system for fMRI brain images. Our goal is to find a similaritymetric to enable us to support queries for “similar tasks” for retrieval on...
Bing Bai, Paul B. Kantor, Ali Shokoufandeh, Debora...
IPPS
1999
IEEE
15 years 9 months ago
A Structured Approach to Parallel Programming: Methodology and Models
Parallel programming continues to be difficult, despite substantial and ongoing research aimed at making it tractable. Especially dismaying is the gulf between theory and the pract...
Berna L. Massingill
FMCO
2004
Springer
157views Formal Methods» more  FMCO 2004»
15 years 10 months ago
MoMo: A Modal Logic for Reasoning About Mobility
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
Rocco De Nicola, Michele Loreti