3639 search results - page 444 / 728 » Provenance as Dependency Analysis |
184
click to vote
TYPES
2004
Springer
16 years 22 hour ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
156
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper details the first step of the Design Trotter framework for design space exploration applied to dedicated SOCs. The aim of this step is to provide metrics in order to gu...
162
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract— This paper introduces a transformational design method which can be used to map code written in a high level source language, like C, to a coarse grain reconfigurable ...
157
click to vote
DSN
2003
IEEE
15 years 12 months ago
2003
IEEE
A hierarchical modeling framework for the dependability evaluation of Internet-based applications is presented and illustrated on a travel agency example. Modeling is carried out ...
173
click to vote
ICDM
2003
IEEE
15 years 12 months ago
2003
IEEE
A web site is a semi structured collection of different kinds of data, whose motivation is show relevant information to visitor and by this way capture her/his attention. Understa...