( en | de | ru )

 

Disambiguation of "Verstoep, Kees"

Author of the publication

copydeleteadd this publication to your clipboard
Experiences with Fine-Grained Distributed Supercomputing on a 10G Testbed.

, , , and . CCGRID, page 376-383. IEEE Computer Society, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Brigitte Kees

Brigitte Kees

Sabine Kees

Norbert Kees

Andreas Kees

 

Other publications of authors with the same name

Efficient Large-Scale Model Checking., , , and . Distributed Verification and Grid Computing, volume 08332 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)Interpretable Multivariate Time Series Forecasting with Temporal Attention Convolutional Neural Networks., , and . SSCI, page 1687-1694. IEEE, (2020)Multivariate Time Series Early Classification Across Channel and Time Dimensions., , , and . CoRR, (2023)Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs., , , , and . FORTE, volume 8461 of Lecture Notes in Computer Science, page 17-32. Springer, (2014)Using Group Communication to Implement a Fault-Tolerant Directory Service., , and . ICDCS, page 130-139. IEEE Computer Society, (1993)Using Model Checking to Analyze the System Behavior of the LHC Production Grid., , , , , and . CCGRID, page 335-343. IEEE Computer Society, (2012)From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems., , , , , , and . NASA Formal Methods, volume 7871 of Lecture Notes in Computer Science, page 244-260. Springer, (2013)Using model checking to analyze the system behavior of the LHC production grid., , , , and . Future Gener. Comput. Syst., 29 (8): 2239-2251 (2013)Taking ROCKET on an Efficiency Mission: Multivariate Time Series Classification with LightWaveS., , , and . DCOSS, page 149-152. IEEE, (2022)Evaluating Design Alternatives for Reliable Communication on High-Speed Networks., , , , and . ASPLOS, page 71-81. ACM Press, (2000)