Fast measurement of LogP parameters for message passing platforms T Kielmann, HE Bal, K Verstoep Parallel and Distributed Processing: 15 IPDPS 2000 Workshops Cancun, Mexico …, 2000 | 264 | 2000 |
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 | 147 | 2000 |
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 | 112 | 2001 |
Efficient reliable multicast on Myrinet K Verstoep, K Langendoen, H Bal Proceedings of the 1996 ICPP Workshop on Challenges for Parallel Processing …, 1996 | 99 | 1996 |
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 | 63 | 2004 |
Efficient large-scale model checking K Verstoep, HE Bal, J Barnat, L Brim 2009 IEEE International Symposium on Parallel & Distributed Processing, 1-12, 2009 | 56 | 2009 |
Group communication in Amoeba and its applications MF Kaashoek, AS Tanenbaum, K Verstoep Distributed Systems Engineering 1 (1), 48, 1993 | 56 | 1993 |
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 | 44 | 2010 |
Interpretable multivariate time series forecasting with temporal attention convolutional neural networks L Pantiskas, K Verstoep, H Bal 2020 IEEE Symposium Series on Computational Intelligence (SSCI), 1687-1694, 2020 | 43 | 2020 |
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 | 43 | 1997 |
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 | 40 | 2001 |
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 | 38 | 2002 |
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 | 34 | 1993 |
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 | 31 | 2013 |
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 | 28 | 2006 |
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: 5th International Symposium, NFM 2013, Moffett Field …, 2013 | 25 | 2013 |
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 | 23 | 2000 |
Property specification made easy: Harnessing the power of model checking in UML designs D Remenska, TAC Willemse, J Templon, K Verstoep, H Bal Formal Techniques for Distributed Objects, Components, and Systems: 34th …, 2014 | 22 | 2014 |
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 | 22 | 2008 |
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 | 21 | 2004 |