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 × Belgium
1 × Finland
1 × USA
2 × France
Collaborated with:
J.Bern C.Meinel J.Hromkovic B.Rovan J.Gergov R.Kaivola R.Ghughal N.Narasimhan A.Telfer J.Whittemore S.Pandav C.Taylor V.Frolov E.Reeber A.Naik
Talks about:
manipul (2) boolean (2) obdd (2) nondeterminist (1) determinist (1) experiment (1) processor (1) synchron (1) rebuild (1) current (1)

Person: Anna Slobodová

DBLP DBLP: Slobodov=aacute=:Anna

Contributed to:

CAV 20092009
CAV 19951995
DAC 19951995
DLT 19931993

Wrote 5 papers:

CAV-2009-KaivolaGNTWPSTFRN #execution #testing #validation #verification
Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation (RK, RG, NN, AT, JW, SP, AS, CT, VF, ER, AN), pp. 414–429.
CAV-1995-BernMS #memory management
Global rebuilding of OBDDs Avoiding Memory Requirement Maxima (JB, CM, AS), pp. 4–15.
DAC-1995-BernMS #performance
Efficient OBDD-Based Boolean Manipulation in CAD beyond Current Limits (JB, CM, AS), pp. 408–413.
Boolean Manipulation with Free BDD’s. First Experimental Results (JB, JG, CM, AS), pp. 200–207.
DLT-1993-HromkovicRS #nondeterminism
Deterministic Versus Nondeterministic Space in Terms of Synchronized Alternating Machines (JH, BR, AS), pp. 314–325.

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.