Sciweavers

229 search results - page 22 / 46
» Finding Composite Episodes
Sort
View
RTS
2006
132views more  RTS 2006»
13 years 7 months ago
A framework for modular analysis and exploration of heterogeneous embedded systems
Abstract The increasing complexity of heterogeneous systems-on-chip, SoC, and distributed embedded systems makes system optimization and exploration a challenging task. Ideally, a ...
Arne Hamann, Marek Jersak, Kai Richter, Rolf Ernst
ICDT
2009
ACM
150views Database» more  ICDT 2009»
14 years 8 months ago
Optimizing user views for workflows
A technique called user views has recently been proposed to focus user attention on relevant information in response to provenance queries over workflow executions [1, 2]: Given u...
Olivier Biton, Susan B. Davidson, Sanjeev Khanna, ...
ACSD
2009
IEEE
106views Hardware» more  ACSD 2009»
13 years 9 months ago
Specification Enforcing Refinement for Convertibility Verification
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
Partha S. Roop, Alain Girault, Roopak Sinha, Grego...
VLDB
2007
ACM
99views Database» more  VLDB 2007»
14 years 7 months ago
Zoom*UserViews: Querying Relevant Provenance in Workflow Systems
In this demonstration, we present the ZOOM*UserView system, and focus on the module which generates a "user view" based on what tasks the user perceives to be relevant i...
Olivier Biton, Sarah Cohen Boulakia, Susan B. Davi...
GECCO
1999
Springer
13 years 11 months ago
An Immunogenetic Approach to Spectra Recognition
The paper describes an immunogenetic approach to recognize spectra for chemical analysis. In particular, an immunological model for chemical reactions is introduced in which a pop...
Dipankar Dasgupta, Yuehua Cao, Congjun Yang