Sciweavers

2613 search results - page 62 / 523
» Proposal for Tools Supporting Component Based Programming
Sort
View
114
Voted
IPPS
2003
IEEE
15 years 8 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...
115
Voted
ICDCS
2003
IEEE
15 years 8 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
130
Voted
ENC
2007
IEEE
15 years 9 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...
128
Voted
IPPS
1999
IEEE
15 years 7 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
156
Voted
FMCO
2004
Springer
157views Formal Methods» more  FMCO 2004»
15 years 8 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