Sciweavers

4250 search results - page 163 / 850
» Understanding the Requirements on Modelling Techniques
Sort
View
PADS
2009
ACM
14 years 4 months ago
Causal Program Slicing
Unexpected model behaviors need explanation, so valid behaviors can be separated from errors. Understanding unexpected behavior requires accumulation of insight into the behavior ...
Ross Gore, Paul F. Reynolds Jr.
EUROPAR
2006
Springer
14 years 27 days ago
Tying Memory Management to Parallel Programming Models
Stand-alone threading libraries lack sophisticated memory management techniques. In this paper, we present a methodology that allows threading libraries that implement non-preempti...
Ioannis E. Venetis, Theodore S. Papatheodorou
SLE
2009
Springer
14 years 3 months ago
Composing Feature Models
Feature modeling is a widely used technique in Software Product Line development. Feature models allow stakeholders to describe domain concepts in terms of commonalities and diffe...
Mathieu Acher, Philippe Collet, Philippe Lahire, R...
IPPS
2007
IEEE
14 years 3 months ago
Model and Methodology for the Synthesis of Heterogeneous and Partially Reconfigurable Systems
When reconfigurable devices are used in modern embedded systems and their capability to adapt to changing application requirements becomes an issue, comprehensive modeling and de...
Florian Dittmann, Marcelo Götz, Achim Rettber...
EXPERT
2006
94views more  EXPERT 2006»
13 years 9 months ago
A Canonical Agent Model for Healthcare Applications
o address the need for canonical abstraction, we've adopted software engineering's concept of signatures--a technique for defining software patterns or invariant procedur...
John Fox, David Glasspool, Sanjay Modgil