4116 search results - page 39 / 824 » Type Analysis for CHIP |
112
Voted
JOT
2007
15 years 2 months ago
2007
Programs designed from scratch often start with just a set of classes. Classes can be instantiated and so deliver the objects that are the carriers of information and function. In...
116
click to vote
TAP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
133
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
— Approximating the sum of Log–Normal random variables (RVs) is a long–standing open issue, in the old and recent literature, and many approaches have been proposed to deal w...
101
Voted
DAC
2006
ACM
15 years 8 months ago
2006
ACM
A hierarchical power distribution methodology that enables more than dozen power domains in a chip and a power management scheme using 20 power domains are described. This method ...
162
Voted
SAS
1994
Springer
15 years 6 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...