10870 search results - page 237 / 2174 » Model Checking Programs |
124
Voted
DAC
2008
ACM
16 years 3 months ago
2008
ACM
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
122
Voted
FMSD
2010
15 years 22 days ago
2010
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
119
click to vote
ICDT
2005
ACM
15 years 7 months ago
2005
ACM
Abstract. We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. The concept of type may vary from idealizations of DTD t...
127
click to vote
POPL
1993
ACM
15 years 6 months ago
1993
ACM
We study the type inference problem for a system with type classes as in the functional programminglanguage Haskell. Type classes are an extension of ML-style polymorphismwith ove...
86
Voted
DAC
1999
ACM
16 years 3 months ago
1999
ACM
