4666 search results - page 107 / 934 » Equations on Timed Languages |
118
Voted
DAGSTUHL
1996
15 years 2 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
95
Voted
AMC
2010
15 years 28 days ago
2010
Experience with fluid-flow simulation suggests that, in some instances, under-resolved direct numerical simulation (DNS), without a residual-stress model per se but with artificial...
85
Voted
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An importa...
102
Voted
ESOP
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Nominal Isabelle is a definitional extension of the Isabelle/HOL theorem prover. It provides a proving infrastructure for reasoning about programming language calculi in...
102
click to vote
ICCAD
2008
IEEE
15 years 7 months ago
2008
IEEE
— Perturbation Projection Vector (PPV) is an established technique for oscillator phase noise analysis; However, the PPV method significantly loses accuracy when circuits have l...