2299 search results - page 366 / 460 » Logical Data Expiration |
131
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
In this paper we propose a new communication synthesis approach targeting systems with sequential communication media (SCM). Since SCMs require that the reading sequence and writi...
104
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
Transistor leakage is poised to become the dominant source of power dissipation in digital systems, and reconfigurable devices are not immune to this problem. Modern FPGAs already...
93
Voted
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
We describe a new method for learning the conditional probability distribution of a binary-valued variable from labelled training examples. Our proposed Compositional Noisy-Logica...
121
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
104
click to vote
SIGSOFT
2004
ACM
16 years 1 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...