Search Sciweavers | Sciweavers

17

FMCAD
2007
Springer

85views Formal Methods» more FMCAD 2007»

Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC

14 years 1 months ago

—When model-checking reports that a property holds on a model, vacuity detection increases user conﬁdence in this result by checking that the property is satisﬁed in the inte...

Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, ...

claim paper

Read More »

20

click to vote

MLG
2007
Springer

186views Machine Learning» more MLG 2007»

Speeding Up Graph Edit Distance Computation with a Bipartite Heuristic

14 years 1 months ago

Download mlg07.dsi.unifi.it

d Abstract) Kaspar Riesen, Stefan Fankhauser and Horst Bunke2

Kaspar Riesen, Stefan Fankhauser, Horst Bunke

claim paper

Read More »

26

click to vote

SAT
2007
Springer

121views Hardware» more SAT 2007»

Applying Logic Synthesis for Speeding Up SAT

14 years 1 months ago

Download minisat.se

SAT solvers are often challenged with very hard problems that remain unsolved after hours of CPU time. The research community meets the challenge in two ways: (1) by improving the ...

Niklas Eén, Alan Mishchenko, Niklas Sö...

claim paper

Read More »

22

click to vote

DSRT
2006
IEEE

145views Modeling and Simulation» more DSRT 2006»

Grid-enabling FIRST: Speeding Up Simulation Applications Using WinGrid

14 years 1 months ago

Download bura.brunel.ac.uk

The vision of grid computing is to make computational power, storage capacity, data and applications available to users as readily as electricity and other utilities. Grid infrast...

Navonil Mustafee, Anders Alstad, Bjorn Larsen, Sim...

claim paper

Read More »

22

click to vote

SENSYS
2005
ACM

162views Sensor Networks» more SENSYS 2005»

Exploiting multi-Channel diversity to speed up over-the-air programming of wireless sensor networks

14 years 29 days ago

Download people.bu.edu

Weiyao Xiao, David Starobinski

claim paper