4772 search results - page 145 / 955 » An approach to interface synthesis |
196
click to vote
JAR
2008
15 years 6 months ago
2008
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...
141
click to vote
TOG
2008
15 years 6 months ago
2008
We present a novel method for procedurally modeling large complex shapes. Our approach is general-purpose and takes as input any 3D polyhedral model provided by a user. The algori...
325
click to vote
AMW
2011
14 years 10 months ago
2011
The goal of this paper is to permit secure outsourced system evaluation. We propose a method for generating synthetic databases and obfuscating a workload of queries in order to pr...
158
click to vote
ARCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The SoC (System-on-Chip) technology is used in small and flexible consumer electronic devices. SoCs include one or more microcontroller, memory, programmable logic, and ...
176
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
The use of nanometer technologies is making it increasingly important to consider transient characteristics of a circuit’s power dissipation (e.g., peak power, and power gradien...