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 × Germany
Collaborated with:
Talks about:
deadlock (2) network (2) algorithm (1) forward (1) verifi (1) specif (1) formal (1) store (1) prove (1) evacu (1)

Person: Freek Verbeek

DBLP DBLP: Verbeek:Freek

Contributed to:

PDP 20112011
DATE 20102010

Wrote 2 papers:

PDP-2011-VerbeekS #algorithm #concurrent #network #performance #proving
A Fast and Verified Algorithm for Proving Store-and-Forward Networks Deadlock-Free (FV, JS), pp. 3–10.
DATE-2010-VerbeekS #concurrent #specification
Formal specification of networks-on-chips: deadlock and evacuation (FV, JS), pp. 1701–1706.

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.