3639 search results - page 476 / 728 » Provenance as Dependency Analysis |
183
click to vote
CSCW
2011
ACM
15 years 1 months ago
2011
ACM
The emergence of online labor markets makes it far easier to use individual human raters to evaluate materials for data collection and analysis in the social sciences. In this pap...
142
click to vote
HPCA
2008
IEEE
16 years 7 months ago
2008
IEEE
As multicore systems become the dominant mainstream computing technology, one of the most difficult challenges the industry faces is the software. Applications with large amounts ...
212
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
192
click to vote
RTCSA
2006
IEEE
16 years 19 days ago
2006
IEEE
In this paper we consider data freshness and overload handling in embedded systems. The requirements on data management and overload handling are derived from an engine control so...
190
click to vote
CODES
2005
IEEE
16 years 8 days ago
2005
IEEE
Arbitrary memory dependencies and variable latency memory systems are major obstacles to the synthesis of large-scale ASIC systems in high-level synthesis. This paper presents SOM...