Kees Verstoep
Kees Verstoep
Scientific Programmer
Dirección de correo verificada de cs.vu.nl
Título
Citado por
Citado por
Año
Fast measurement of LogP parameters for message passing platforms
T Kielmann, HE Bal, K Verstoep
International Parallel and Distributed Processing Symposium, 1176-1183, 2000
2532000
The distributed ASCI supercomputer project
H Bal, R Bhoedjang, R Hofman, C Jacobs, T Kielmann, J Maassen, ...
ACM SIGOPS Operating Systems Review 34 (4), 76-96, 2000
1502000
Network performance-aware collective communication for clustered wide-area systems
T Kielmann, HE Bal, S Gorlatch, K Verstoep, RFH Hofman
Parallel Computing 27 (11), 1431-1456, 2001
1152001
Efficient reliable multicast on Myrinet
K Verstoep, K Langendoen, H Bal
Proceedings of the 1996 ICPP Workshop on Challenges for Parallel Processing …, 1996
961996
Wide-area communication for grids: An integrated solution to connectivity, performance and security problems
A Denis, O Aumage, R Hofman, K Verstoep, T Kielmann, HE Bal
Proceedings. 13th IEEE International Symposium on High performance …, 2004
602004
Group communication in Amoeba and its applications
MF Kaashoek, AS Tanenbaum, K Verstoep
Distributed Systems Engineering 1 (1), 48, 1993
581993
Efficient large-scale model checking
K Verstoep, HE Bal, J Barnat, L Brim
2009 IEEE International Symposium on Parallel & Distributed Processing, 1-12, 2009
542009
Real-world distributed computer with ibis
HE Bal, J Maassen, RV van Nieuwpoort, N Drost, R Kemp, T van Kessel, ...
Computer 43 (8), 54-62, 2010
482010
Performance of a high-level parallel language on a high-speed network
H Bal, R Bhoedjang, R Hofman, C Jacobs, K Langendoen, T Rühl, ...
Journal of Parallel and Distributed Computing 40 (1), 49-64, 1997
401997
Early experiences with the Egrid testbed
G Allen, T Dramlitsch, T Goodale, G Lanfermann, T Radke, E Seidel, ...
Proceedings First IEEE/ACM International Symposium on Cluster Computing and …, 2001
392001
Programming environments for high-performance grid computing: the Albatross project
T Kielmann, HE Bal, J Maassen, R Van Nieuwpoort, L Eyraud, R Hofman, ...
Future Generation Computer Systems 18 (8), 1113-1125, 2002
352002
Using group communication to implement a fault-tolerant directory service
MF Kaashoek, AS Tanenbaum, K Verstoep
[1993] Proceedings. The 13th International Conference on Distributed …, 1993
311993
Middleware adaptation with the delphoi service
J Maassen, RV Van Nieuwpoort, T Kielmann, K Verstoep, M den Burger
Concurrency and Computation: Practice and Experience 18 (13), 1659-1679, 2006
262006
Using model checking to analyze the system behavior of the LHC production grid
D Remenska, TAC Willemse, K Verstoep, J Templon, H Bal
Future Generation Computer Systems 29 (8), 2239-2251, 2013
252013
Experiences with fine-grained distributed supercomputing on a 10g testbed
K Verstoep, J Maassen, HE Bal, JW Romein
2008 Eighth IEEE International Symposium on Cluster Computing and the Grid …, 2008
222008
Evaluating design alternatives for reliable communication on high-speed networks
RAF Bhoedjang, K Verstoep, T Rühl, HE Bal, RFH Hofman
ACM SIGPLAN Notices 35 (11), 71-81, 2000
212000
From UML to process algebra and back: An automated approach to model-checking software design artifacts of concurrent systems
D Remenska, J Templon, TAC Willemse, P Homburg, K Verstoep, ...
NASA Formal Methods Symposium, 244-260, 2013
202013
Property specification made easy: Harnessing the power of model checking in UML designs
D Remenska, TAC Willemse, J Templon, K Verstoep, H Bal
International Conference on Formal Techniques for Distributed Objects …, 2014
192014
Cluster communication protocols for parallel-programming systems
K Verstoep, RAF Bhoedjang, T Rühl, HE Bal, RFH Hofman
ACM Transactions on Computer Systems (TOCS) 22 (3), 281-325, 2004
182004
On the design of the Amoeba Configuration Manager
EH Baalbergen, K Verstoep, AS Tanenbaum
ACM SIGSOFT Software Engineering Notes 14 (7), 15-22, 1989
181989
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20