Kees Verstoep

40 papers A* 1A 4B 6C 4Misc 1Journal 11Unranked 13
YearRankTypeTitle / Venue / Authors
2023 Misc conf
CAPTURE: Memory-Centric Partitioning for Distributed DNN Training with Hybrid Parallelism.
HiPC
Henk Dreuning, Kees Verstoep, Henri E. Bal, Rob V. van Nieuwpoort
2023 C conf
Channel-Adaptive Early Exiting Using Reinforcement Learning for Multivariate Time Series Classification.
ICMLA
Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal
2023 J jnl
Multivariate Time Series Early Classification Across Channel and Time Dimensions.
CoRR
Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal
2023 — conf
Reinforcement Learning-Guided Channel Selection Across Time for Multivariate Time Series Classification.
SSCI
Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal
2022 C conf
An Empirical Evaluation of Multivariate Time Series Classification with Input Transformation across Different Dimensions.
ICMLA
Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal
2022 J jnl
An Empirical Evaluation of Multivariate Time Series Classification with Input Transformation across Different Dimensions.
CoRR
Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal
2022 B conf
Taking ROCKET on an Efficiency Mission: Multivariate Time Series Classification with LightWaveS.
DCOSS
Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal
2022 J jnl
Taking ROCKET on an Efficiency Mission: Multivariate Time Series Classification with LightWaveS.
CoRR
Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal
2020 — conf
Interpretable Multivariate Time Series Forecasting with Temporal Attention Convolutional Neural Networks.
SSCI
Leonardos Pantiskas, Kees Verstoep, Henri E. Bal
2016 B conf
Two Architectures for Parallel Processing of Huge Amounts of Text.
LREC
Mathijs Kattenberg, Zuhaitz Beloki, Aitor Soroa, Xabier Artola, Antske Fokkens, Paul Huygen, Kees Verstoep
2015 — conf
Scaling VM Deployment in an Open Source Cloud Stack.
ScienceCloud@HPDC
Kaveh Razavi, Stefania Costache, Andrea Gardiman, Kees Verstoep, Thilo Kielmann
2014 — conf
Bonsai: Cutting Models Down to Size.
Ershov Memorial Conference
Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal
2014 C conf
Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs.
FORTE
Daniela Remenska, Tim A. C. Willemse, Jeff Templon, Kees Verstoep, Henri E. Bal
2013 — conf
From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems.
NASA Formal Methods
Daniela Remenska, Jeff Templon, Tim A. C. Willemse, Philip Homburg, Kees Verstoep, Adrian Casajus Ramo, Henri E. Bal
2013 J jnl
Using model checking to analyze the system behavior of the LHC production grid.
Future Gener. Comput. Syst.
Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Jeff Templon, Henri E. Bal
2012 B conf
Using Model Checking to Analyze the System Behavior of the LHC Production Grid.
CCGRID
Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Wan J. Fokkink, Jeff Templon, Henri E. Bal
2011 — conf
Distributed MAP in the SpinJa Model Checker
PDMC
Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal
2010 C conf
Embedded Network Protocols for Mobile Devices.
FMICS
Despo Galataki, Andrei Radulescu, Kees Verstoep, Wan J. Fokkink
2009 A conf
Assessing the impact of future reconfigurable optical networks on application performance.
IPDPS
Jason Maassen, Kees Verstoep, Henri E. Bal, Paola Grosso, Cees de Laat
2009 A conf
Efficient large-scale model checking.
IPDPS
Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim
2008 — conf
Efficient Large-Scale Model Checking.
Distributed Verification and Grid Computing
Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim
2008 B conf
Experiences with Fine-Grained Distributed Supercomputing on a 10G Testbed.
CCGRID
Kees Verstoep, Jason Maassen, Henri E. Bal, John W. Romein
2008 — conf
Large-Scale Parallel Computing on Grids.
PDMC@ETAPS
Henri E. Bal, Kees Verstoep
2006 J jnl
Middleware adaptation with the Delphoi service.
Concurr. Comput. Pract. Exp.
Jason Maassen, Rob van Nieuwpoort, Thilo Kielmann, Kees Verstoep, Mathijs den Burger
2006 B conf
Satin++: Divide-and-Share on the Grid.
e-Science
Gosia Wrzesinska, Jason Maassen, Kees Verstoep, Henri E. Bal
2004 J jnl
Cluster communication protocols for parallel-programming systems.
ACM Trans. Comput. Syst.
Kees Verstoep, Raoul Bhoedjang, Tim Rühl, Henri E. Bal, Rutger F. H. Hofman
2004 A conf
Wide-Area Communication for Grids: An Integrated Solution to Connectivity, Performance and Security Problems.
HPDC
Alexandre Denis, Olivier Aumage, Rutger F. H. Hofman, Kees Verstoep, Thilo Kielmann, Henri E. Bal
2002 J jnl
Programming environments for high-performance Grid computing: the Albatross project.
Future Gener. Comput. Syst.
Thilo Kielmann, Henri E. Bal, Jason Maassen, Rob van Nieuwpoort, Lionel Eyraud, Rutger F. H. Hofman, Kees Verstoep
2001 B conf
Early Experiences with the EGrid Testbed.
CCGRID
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
2001 J jnl
Network performance-aware collective communication for clustered wide-area systems.
Parallel Comput.
Thilo Kielmann, Henri E. Bal, Sergei Gorlatch, Kees Verstoep, Rutger F. H. Hofman
2000 A* conf
Evaluating Design Alternatives for Reliable Communication on High-Speed Networks.
ASPLOS
Raoul Bhoedjang, Kees Verstoep, Tim Rühl, Henri E. Bal, Rutger F. H. Hofman
2000 — conf
Fast Measurement of LogP Parameters for Message Passing Platforms.
IPDPS Workshops
Thilo Kielmann, Henri E. Bal, Kees Verstoep
2000 J jnl
The Distributed ASCI Supercomputer Project.
ACM SIGOPS Oper. Syst. Rev.
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
1997 — conf
A Comparison of Three High Speed Networks for Parallel Cluster Computing.
CANPC
Henri E. Bal, Rutger F. H. Hofman, Kees Verstoep
1997 J jnl
Performance of a High-Level Parallel Language on a High-Speed Network.
J. Parallel Distributed Comput.
Henri E. Bal, Raoul Bhoedjang, Rutger F. H. Hofman, Ceriel J. H. Jacobs, Koen Langendoen, Tim Rühl, Kees Verstoep
1996 — conf
Efficient Reliable Multicast on Myrinet.
ICPP, Vol. 3
Kees Verstoep, Koen Langendoen, Henri E. Bal
1993 J jnl
Group communication in Amoeba and its applications.
Distributed Syst. Eng.
M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep
1993 A conf
Using Group Communication to Implement a Fault-Tolerant Directory Service.
ICDCS
M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep
1992 — conf
An experimental comparison of remote procedure call and group communication.
ACM SIGOPS European Workshop
M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep
1989 — conf
On the Design of the Amoeba Configuration Manager.
SCM
Erik H. Baalbergen, Kees Verstoep, Andrew S. Tanenbaum