4126 search results - page 552 / 826 » Set based logic programming |
95
Voted
ICCAD
2005
IEEE
16 years 10 days ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
122
Voted
ASPDAC
2000
ACM
15 years 7 months ago
2000
ACM
Abstract— Clock-gating techniques are very effective in the reduction of the switching activity in sequential logic circuits. In particular, recent work has shown that significa...
133
click to vote
DAGSTUHL
2004
15 years 4 months ago
2004
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
114
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
—We consider network reliability in layered networks where the lower layer experiences random link failures. In layered networks, each failure at the lower layer may lead to mult...
151
Voted
CGO
2010
IEEE
15 years 10 months ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...