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: Slobodov=aacute=:Anna
Contributed to:
20091995
1995
1994
1993Wrote 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.
- EDAC-1994-BernGMS
- 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.