Sciweavers

1855 search results - page 72 / 371
» Composing model programs for analysis
Sort
View
CCGRID
2006
IEEE
15 years 6 months ago
DIMVisual: Data Integration Model for Visualization of Parallel Programs Behavior
Abstract-- The development of high performance parallel applications for clusters is considered a complex task. This can happen because the influence of the execution environment a...
Lucas Mello Schnorr, Philippe Olivier Alexandre Na...
98
Voted
ENTCS
2006
109views more  ENTCS 2006»
15 years 2 months ago
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets
In this paper, we discuss how to model systems that communicate through and are coordinated by mobile channels. Mainly, we focus on modeling the exogenous coordination behavior im...
Juan Guillen Scholten, Farhad Arbab, Frank S. de B...
149
Voted
ICDCS
1993
IEEE
15 years 6 months ago
Maintaining Information about Persistent Replicated Objects in a Distributed System
The paper presents a general model for persistent replicated object management and identifies what meta information about objects needs to be maintained by a naming and binding se...
Mark C. Little, Daniel L. McCue, Santosh K. Shriva...
172
Voted
SPLC
2007
15 years 3 months ago
Product Line Implementation using Aspect-Oriented and Model-Driven Software Development
Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The ...
Markus Völter, Iris Groher
118
Voted
ICRA
2010
IEEE
111views Robotics» more  ICRA 2010»
15 years 1 months ago
Two-dimensional dynamic modeling of a sliding motion of a soft fingertip focusing on stick-to-slip transition
Abstract— We describe here our proposed method to investigate the sliding motion of a soft fingertip in the dexterous manipulation. This paper focuses on analyzing dynamic slidi...
Van Anh Ho, Shinichi Hirai