Travelled to:
1 × France
3 × USA
Collaborated with:
G.Hu T.Kameda A.Krasniewski D.Anastasakis L.McIlwain
Talks about:
sat (2) checkpoint (1) distribut (1) techniqu (1) hierarch (1) circular (1) partial (1) equival (1) databas (1) system (1)
Person: Slawomir Pilarski
DBLP: Pilarski:Slawomir
Contributed to:
Wrote 5 papers:
- DAC-2004-AnastasakisMP #equivalence #performance
- Efficient equivalence checking with partitions and hierarchical cut-points (DA, LM, SP), pp. 539–542.
- DAC-2002-PilarskiH #satisfiability
- SAT with partial clauses and back-leaps (SP, GH), pp. 743–746.
- DATE-2002-PilarskiH #satisfiability
- Speeding up SAT for EDA (SP, GH), p. 1081.
- PODS-1990-PilarskiK #database #distributed #novel
- A Novel Checkpointing Scheme for Distributed Database Systems (SP, TK), pp. 368–378.
- DAC-1987-KrasniewskiP #low cost #self
- Circular Self-Test Path: A Low-Cost BIST Technique (AK, SP), pp. 407–415.