Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Verstoep, K
14  Ergebnisse:
Personensuche X
?
1

On the design of the amoeba configuration manager:

, In: Proceedings of the 2nd International Workshop on Software configuration management,
Baalbergen, E. H. ; Verstoep, K. ; Tanenbaum, A. S. - p. 15-22 , 1989
Link: https://dl.acm.org/doi/1..
 
?
2

Bonsai:cutting models down to size:

Vijzelaar, SJJ ; Verstoep, K ; Fokkink, WJ Wan. , 2015
Link: http://repository.tue.nl..
 
?
3

Property specification made easy : harnessing the power of ..:

Remenska, D Daniela ; Willemse, TAC Tim ; Templon, JA.. , 2014
Link: http://repository.tue.nl..
 
?
4

From UML to process algebra and back : an automated approac..:

Remenska, D Daniela ; Templon, JA ; Willemse, TAC Tim... , 2013
Link: http://repository.tue.nl..
 
?
5

Using model checking to analyze the system behavior of the ..:

Remenska, D Daniela ; Willemse, TAC Tim ; Verstoep, K..
ISSN:0167-739X.  , 2013
Link: http://repository.tue.nl..
 
?
6

Using model checking to analyze the system behavior of the ..:

Remenska, D Daniela ; Willemse, TAC Tim ; Verstoep, K... , 2012
Link: http://repository.tue.nl..
 
?
7

Analysis of DIRAC's behavior using model checking with proc..:

Remenska, D Daniela ; Templon, JA ; Willemse, TAC Tim... , 2012
Link: http://repository.tue.nl..
 
?
8

Distributed MAP in the SpinJa model checker:

Vijzelaar, SJJ ; Verstoep, K ; Fokkink, WJ Wan. , 2011
Link: http://repository.tue.nl..
 
?
9

Distributed MAP in the SpinJa model checker:

Vijzelaar, S.J.J ; Verstoep, K ; Fokkink, W.J.
Vijzelaar , S J J , Verstoep , K , Fokkink , W J & Bal , H E 2011 , ' Distributed MAP in the SpinJa model checker ' , Electronic Proceedings in Theoretical Computer Science , vol. 72 , pp. 84-90 . https://doi.org/10.4204/eptcs.72.9.  , 2011
Link: https://research.vu.nl/e..
 
?
10

Embedded network protocols for mobile devices:

Galataki, D ; Radulescu, A ; Verstoep, K.
Galataki , D , Radulescu , A , Verstoep , K & Fokkink , W J 2010 , ' Embedded network protocols for mobile devices ' , Lecture Notes in Computer Science , vol. 6371 , pp. 164-179 . https://doi.org/10.1007/978-3-642-15898-8_11.  , 2010
Link: https://research.vu.nl/e..
 
?
11

The distributed ASCI supercomputer project:

Bal, HE ; Bhoedjang, RAF ; Hofman, RFH...
ISSN:0163-5980.  , 2000
Link: http://repository.tue.nl..
 
?
12

Using Group Communication to Implement a Fault-Tolerant Dir..:

Kaashoek, M.F ; Tanenbaum, A.S ; Verstoep, K
Kaashoek , M F , Tanenbaum , A S & Verstoep , K 1993 , Using Group Communication to Implement a Fault-Tolerant Directory Service . in Thirteenth Int'l Conf. on Distributed Computing Systems . pp. 130-139 ..  , 1993
Link: https://research.vu.nl/e..
 
?
13

An Experimental Comparison of Remote Procedure Call and Gro..:

Kaashoek, M.F ; Tanenbaum, A.S ; Verstoep, K
Kaashoek , M F , Tanenbaum , A S & Verstoep , K 1992 , An Experimental Comparison of Remote Procedure Call and Group Communication . in Proc. Fifth ACM SIGOPS Workshop (Sept.) . Le Mont St. Michel ..  , 1992
Link: https://research.vu.nl/e..
 
?
14

The distributed ASCI supercomputer project:

Bal, H.E ; Bhoedjang, R.A.F ; Hofman, R...
Bal , H E , Bhoedjang , R A F , Hofman , R , Jacobs , C J H , Kielmann , T , Maassen , J , van Nieuwpoort , R V , Romein , J W , Renambot , L P M , Ruhl , T , Veldema , R S , Verstoep , M , Baggio , A G , Ballintijn , G C , Kuz , I , Pierce , G , van Steen , M R , Tanenbaum , A S , Doornbos , G , Germans , D M , Spoelder , H J W , Baerends , E J , van Gisbergen , S J A , Afsermanesh , H , van Albada , D , Belloum , A , Dubbeldam , J L A , Hendrikse , Z , Hertzberger , B , Hoekstra , A F T , Iskra , K , Kandhai , D , Koelma , D , van der Linden , F , Overeinder , B , Sloot , P , Spinnato , P , Epema , D , van Gemund , A , Jonker , P , Radulescu , A , van Reeuwijk , C , Sips , H J , Knijnenburg , P , Lew , M , Sluiter , F , Wijshof , H , Wolters , L , Blom , H , Laat , C & van der Steen , A 2000 , ' The distributed ASCI supercomputer project ' , ACM SIGOPS Operating Systems Review , vol. 34 , pp. 76-96 . https://doi.org/10.1145/506106.506115.  , 2000
Link: https://research.vu.nl/e..
 
1-14