BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Pilarski:Slawomir

Contributed to:

DAC 20042004
DAC 20022002
DATE 20022002
PODS 19901990
DAC 19871987

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.