Kees Verstoep

According to our database, Kees Verstoep authored at least 37 papers between 1989 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Multivariate Time Series Early Classification Across Channel and Time Dimensions.

Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal

CoRR, 2023

Reinforcement Learning-Guided Channel Selection Across Time for Multivariate Time Series Classification.

Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2023

Channel-Adaptive Early Exiting Using Reinforcement Learning for Multivariate Time Series Classification.

Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal

Proceedings of the International Conference on Machine Learning and Applications, 2023

CAPTURE: Memory-Centric Partitioning for Distributed DNN Training with Hybrid Parallelism.

Henk Dreuning, Kees Verstoep, Henri E. Bal, Rob V. van Nieuwpoort

Proceedings of the 30th IEEE International Conference on High Performance Computing, 2023

2022

An Empirical Evaluation of Multivariate Time Series Classification with Input Transformation across Different Dimensions.

Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal

Proceedings of the 21st IEEE International Conference on Machine Learning and Applications, 2022

Taking ROCKET on an Efficiency Mission: Multivariate Time Series Classification with LightWaveS.

Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal

Proceedings of the 18th International Conference on Distributed Computing in Sensor Systems, 2022

2020

Interpretable Multivariate Time Series Forecasting with Temporal Attention Convolutional Neural Networks.

Leonardos Pantiskas, Kees Verstoep, Henri E. Bal

Proceedings of the 2020 IEEE Symposium Series on Computational Intelligence, 2020

2016

Two Architectures for Parallel Processing of Huge Amounts of Text.

Mathijs Kattenberg, Zuhaitz Beloki, Aitor Soroa, Xabier Artola, Antske Fokkens, Paul Huygen, Kees Verstoep

Proceedings of the Tenth International Conference on Language Resources and Evaluation LREC 2016, 2016

2015

Scaling VM Deployment in an Open Source Cloud Stack.

Kaveh Razavi, Stefania Costache, Andrea Gardiman, Kees Verstoep, Thilo Kielmann

Proceedings of the 6th Workshop on Scientific Cloud Computing, 2015

2014

Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs.

Daniela Remenska, Tim A. C. Willemse, Jeff Templon, Kees Verstoep, Henri E. Bal

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

Bonsai: Cutting Models Down to Size.

Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal

Proceedings of the Perspectives of System Informatics, 2014

2013

Using model checking to analyze the system behavior of the LHC production grid.

Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Jeff Templon, Henri E. Bal

Future Gener. Comput. Syst., 2013

From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems.

Daniela Remenska, Jeff Templon, Tim A. C. Willemse, Philip Homburg, Kees Verstoep, Adrian Casajus Ramo, Henri E. Bal

Proceedings of the NASA Formal Methods, 2013

2012

Using Model Checking to Analyze the System Behavior of the LHC Production Grid.

Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Wan J. Fokkink, Jeff Templon, Henri E. Bal

Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

2011

Distributed MAP in the SpinJa Model Checker

Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal

Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011

2010

Embedded Network Protocols for Mobile Devices.

Despo Galataki, Andrei Radulescu, Kees Verstoep, Wan J. Fokkink

Proceedings of the Formal Methods for Industrial Critical Systems, 2010

2009

Assessing the impact of future reconfigurable optical networks on application performance.

Jason Maassen, Kees Verstoep, Henri E. Bal, Paola Grosso, Cees de Laat

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

2008

Large-Scale Parallel Computing on Grids.

Henri E. Bal, Kees Verstoep

Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 2008

Efficient Large-Scale Model Checking.

Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim

Proceedings of the Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008

Experiences with Fine-Grained Distributed Supercomputing on a 10G Testbed.

Kees Verstoep, Jason Maassen, Henri E. Bal, John W. Romein

Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 2008

2006

Middleware adaptation with the Delphoi service.

Jason Maassen, Rob van Nieuwpoort, Thilo Kielmann, Kees Verstoep, Mathijs den Burger

Concurr. Comput. Pract. Exp., 2006

Satin++: Divide-and-Share on the Grid.

Gosia Wrzesinska, Jason Maassen, Kees Verstoep, Henri E. Bal

Proceedings of the Second International Conference on e-Science and Grid Technologies (e-Science 2006), 2006

2004

Cluster communication protocols for parallel-programming systems.

Kees Verstoep, Raoul Bhoedjang, Tim Rühl, Henri E. Bal, Rutger F. H. Hofman

ACM Trans. Comput. Syst., 2004

Wide-Area Communication for Grids: An Integrated Solution to Connectivity, Performance and Security Problems.

Alexandre Denis, Olivier Aumage, Rutger F. H. Hofman, Kees Verstoep, Thilo Kielmann, Henri E. Bal

Proceedings of the 13th International Symposium on High-Performance Distributed Computing (HPDC-13 2004), 2004

2002

Programming environments for high-performance Grid computing: the Albatross project.

Thilo Kielmann, Henri E. Bal, Jason Maassen, Rob van Nieuwpoort, Lionel Eyraud, Rutger F. H. Hofman, Kees Verstoep

Future Gener. Comput. Syst., 2002

2001

Network performance-aware collective communication for clustered wide-area systems.

Thilo Kielmann, Henri E. Bal, Sergei Gorlatch, Kees Verstoep, Rutger F. H. Hofman

Parallel Comput., 2001

Early Experiences with the EGrid Testbed.

Gabrielle Allen, Thomas Dramlitsch, Tom Goodale, Gerd Lanfermann, Thomas Radke, Edward Seidel, Thilo Kielmann, Kees Verstoep, Zoltán Balaton, Péter Kacsuk, Ferenc Szalai, Jörn Gehring, Axel Keller, Achim Streit, Ludek Matyska, Miroslav Ruda, Ales Krenek, Harald Knipp, André Merzky, Alexander Reinefeld, Florian Schintke, Bogdan Ludwiczak, Jarek Nabrzyski, Juliusz Pukacki, Hans-Peter Kersken, Giovanni Aloisio, Massimo Cafaro, Wolfgang Ziegler, Michael Russell

Proceedings of the First IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2001), 2001

2000

The Distributed ASCI Supercomputer Project.

Henri E. Bal, Raoul Bhoedjang, Rutger F. H. Hofman, Ceriel J. H. Jacobs, Thilo Kielmann, Jason Maassen, Rob van Nieuwpoort, John Romain, Luc Renambot, Tim Rühl, Ronald Veldema, Kees Verstoep, Aline Baggio, Gerco Ballintijn, Ihor Kuz, Guillaume Pierre, Maarten van Steen, Andrew S. Tanenbaum, Gerben Doornbos, Desmond Germans, Hans J. W. Spoelder, Evert Jan Baerends, Stan J. A. van Gisbergen, Hamid Afsermanseh, G. Dick van Albada, Adam Belloum, David Dubbeldam, Zeger W. Hendrikse, Louis O. Hertzberger, Alfons G. Hoekstra, Kamil Iskra, Drona Kandhai, Dennis C. Koelma, Frank van der Linden, Benno J. Overeinder, Peter M. A. Sloot, Piero Spinnato, Dick H. J. Epema, Arjan J. C. van Gemund, Pieter P. Jonker, Andrei Radulescu, Kees van Reeuwijk, Henk J. Sips, Peter M. W. Knijnenburg, Michael S. Lew, Floris Sluiter, Lex Wolters, Hans Blom, Cees de Laat

ACM SIGOPS Oper. Syst. Rev., 2000

Fast Measurement of LogP Parameters for Message Passing Platforms.

Thilo Kielmann, Henri E. Bal, Kees Verstoep

Proceedings of the Parallel and Distributed Processing, 2000

Evaluating Design Alternatives for Reliable Communication on High-Speed Networks.

Raoul Bhoedjang, Kees Verstoep, Tim Rühl, Henri E. Bal, Rutger F. H. Hofman

Proceedings of the ASPLOS-IX Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems, 2000

1997

Performance of a High-Level Parallel Language on a High-Speed Network.

Henri E. Bal, Raoul Bhoedjang, Rutger F. H. Hofman, Ceriel J. H. Jacobs, Koen Langendoen, Tim Rühl, Kees Verstoep

J. Parallel Distributed Comput., 1997

A Comparison of Three High Speed Networks for Parallel Cluster Computing.

Henri E. Bal, Rutger F. H. Hofman, Kees Verstoep

Proceedings of the Communication and Architectural Support for Network-Based Parallel Computing, 1997

1996

Efficient Reliable Multicast on Myrinet.

Kees Verstoep, Koen Langendoen, Henri E. Bal

Proceedings of the 1996 International Conference on Parallel Processing, 1996

1993

Group communication in Amoeba and its applications.

M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep

Distributed Syst. Eng., 1993

Using Group Communication to Implement a Fault-Tolerant Directory Service.

M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep

Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

1992

An experimental comparison of remote procedure call and group communication.

M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep

Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

1989

On the Design of the Amoeba Configuration Manager.

Erik H. Baalbergen, Kees Verstoep, Andrew S. Tanenbaum

Proceedings of the 2nd International Workshop on Software Configuration Management, 1989