Sciweavers

2703 search results - page 336 / 541
» Learning operational requirements from goal models
Sort
View
ISBI
2006
IEEE
16 years 24 days ago
Physics-based simulation of biological structures
We describe the goals and proposed design for SimTK, part of the NIH-supported Simbios National Center for Biomedical Computing. SimTK (Simulation ToolKit) will enable biomedical ...
Scott L. Delp, F. Clayton Anderson, Russ B. Altman
EDOC
2006
IEEE
16 years 25 days ago
Service Interaction Modeling: Bridging Global and Local Views
In a Service-Oriented Architecture (SOA), a system is viewed as a collection of independent units (services) that interact with one another through message exchanges. Established ...
Johannes Maria Zaha, Marlon Dumas, Arthur H. M. te...
WCRE
2003
IEEE
16 years 1 days ago
Extracting an Explicitly Data-Parallel Representation of Image-Processing Programs
Our research goal is to retarget image processing programs written in sequential languages (e.g., C) to architectures with data-parallel processing capabilities. Image processing ...
Lewis B. Baumstark Jr., Murat Guler, Linda M. Will...
ESA
2001
Springer
75views Algorithms» more  ESA 2001»
15 years 11 months ago
Strongly Competitive Algorithms for Caching with Pipelined Prefetching
Suppose that a program makes a sequence of m accesses (references) to data blocks, the cache can hold k < m blocks, an access to a block in the cache incurs one time unit, and ...
Alexander Gaysinsky, Alon Itai, Hadas Shachnai
DEBU
2010
128views more  DEBU 2010»
15 years 4 months ago
Panda: A System for Provenance and Data
Panda (for Provenance and Data) is a new project whose goal is to develop a general-purpose system that unifies concepts from existing provenance systems and overcomes some limita...
Robert Ikeda, Jennifer Widom