102 search results - page 7 / 21 » On the Complexity of Boolean Functions in Different Characte... |
ICFP
2007
ACM
15 years 11 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
CCGRID
2005
IEEE
15 years 5 months ago
2005
IEEE
Large distributed Grid systems pose new challenges in job scheduling due to complex workload characteristics and system characteristics. Due to the numerous parameters that must b...
110
click to vote
ASPDAC
2009
ACM
15 years 6 months ago
2009
ACM
—Reversible logic studies have promising potential on energy lossless circuit design, quantum computation, nanotechnology, etc. Reversible logic features a one-to-one input outpu...
FMCAD
2009
Springer
15 years 6 months ago
2009
Springer
— There is a long history of investigations and debates on whether a sequence of retiming and resynthesis is complete for all sequential transformations (on steady states). It ha...
KDD
1995
ACM
15 years 3 months ago
1995
ACM
Our work tackles the problem of finding partial determinations in databases and proposes a compressionbased measure to evaluate them. Partial determinations can be viewed as gener...