13383 search results - page 2268 / 2677 » Abstractions from proofs |
120
click to vote
ASPDAC
2010
ACM
15 years 2 months ago
2010
ACM
Abstract-- Optimizing blocks in a System-on-Chip (SoC) circuit is becoming more and more important nowadays due to the use of third-party Intellectual Properties (IPs) and reused d...
167
click to vote
ATS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--To achieve a high product quality for nano-scale systems both realistic defect mechanisms and process variations must be taken into account. While existing approaches for...
139
click to vote
CICLING
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The development of a syntactic textual entailment system that compares the dependency relations in both the text and the hypothesis has been reported. The Stanford Depend...
145
click to vote
CIDU
2010
15 years 2 months ago
2010
Abstract. Climate models are complex mathematical models designed by meteorologists, geophysicists, and climate scientists to simulate and predict climate. Given temperature predic...
129
click to vote
CLOUDCOM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--Commercial services for provisioning software components and virtual infrastructure in the cloud are emerging. For customers, this creates a multitude of possibilities fo...