175 search results - page 30 / 35 » Common Subexpression Induction |
202
click to vote
CONCUR
2003
Springer
16 years 26 days ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
195
click to vote
MICRO
2002
IEEE
16 years 17 days ago
2002
IEEE
Master/Slave Speculative Parallelization (MSSP) is an execution paradigm for improving the execution rate of sequential programs by parallelizing them speculatively for execution ...
200
click to vote
RP
2009
Springer
16 years 6 days ago
2009
Springer
Counterexamples for Non-disjunctive ions K. L. McMillan1 and L. D. Zuck2 1 Cadence Research Labs 2 University of Illinois at Chicago Counterexample-guided abstraction refinement (...
168
click to vote
IUI
2000
ACM
16 years 14 hour ago
2000
ACM
This paper describes an intelligent interface to assist in the expert perceptual task of sound equalization. This is commonly done by a sound engineer in a recording studio, live ...
227
Voted
TPHOL
1998
IEEE
15 years 12 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...