Sciweavers

2392 search results - page 281 / 479
» Performance modeling from software components
Sort
View
SSDBM
2002
IEEE
116views Database» more  SSDBM 2002»
15 years 7 months ago
A Conceptual Framework for Composing and Managing Scientific Data Lineage
Scientific research relies as much on the dissemination and exchange of data sets as on the publication of conclusions. Accurately tracking the lineage (origin and subsequent proc...
Rajendra Bose
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 4 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
ERSA
2006
150views Hardware» more  ERSA 2006»
15 years 3 months ago
An Area Time Efficient Field Programmable Mersenne Twister Uniform Random Number Generator
Reconfigurable computing offers an attractive solution to accelerating infrared scene simulations. In infrared scene simulations, the modeling of a number of atmospheric and optic...
Vinay Sriram, David Kearney
PDP
2003
IEEE
15 years 7 months ago
A multi-tiered agent-based architecture for a cooperative learning environment
: In this paper the problem of educational resource management in a cooperative learning environment is discussed. A task model was elaborated to determine both functional and leve...
Eduardo Sánchez Vila, Manuel Lama, Ricardo ...
CCE
2006
15 years 2 months ago
An object-oriented framework for modular chemical process simulation with semiconductor processing applications
This paper discusses the development of a set of object-oriented modular simulation tools for solving lumped and spatially distributed models generated from chemical process desig...
Jing Chen, Raymond A. Adomaitis