4255 search results - page 599 / 851 » Cover |
177
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
Power, energy, and thermal concerns have constrained embedded systems designs. Computing capability and storage density have increased dramatically, enabling the emergence of hand...
196
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
This paper investigates the application of causal inference methodology for observational studies to software fault localization based on test outcomes and profiles. This methodo...
169
click to vote
CF
2008
ACM
15 years 8 months ago
2008
ACM
Using a new exact synthesizer that automatically induces minimal universal boolean function libraries, we introduce two indicators for comparing their expressiveness: the first ba...
182
click to vote
CHES
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a new shape for ordinary elliptic curves over fields of characteristic 2. Using the new shape, this paper presents the first complete addition formula...
244
click to vote
CICLING
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on logical representatio...