Distributed MAP in the SpinJa Model Checker von Vijzelaar, Stefan, Verstoep, Kees, Fokkink, Wan, Bal, Henri

Volltext

Using model checking to analyze the system behavior of the LHC production grid von Remenska, Daniela, Willemse, Tim A.C., Verstoep, Kees, Templon, Jeff, Bal, Henri

Volltext

Real-World Distributed Computer with Ibis von Bal, Henri E, Maassen, Jason, van Nieuwpoort, Rob V, Drost, Niels, Kemp, Roelof, van Kessel, Timo, Palmer, Nick, Wrzesinska, Gosia, Kielmann, Thilo, van Reeuwijk, Kees, Seinstra, Frank J, Jacobs, Ceriel J H, Verstoep, Kees

Volltext

Multivariate Time Series Early Classification Across Channel and Time Dimensions von Pantiskas, Leonardos, Verstoep, Kees, Hoogendoorn, Mark, Bal, Henri

Volltext bestellen

An Empirical Evaluation of Multivariate Time Series Classification with Input Transformation across Different Dimensions von Leonardos Pantiskas, Verstoep, Kees, Hoogendoorn, Mark, Bal, Henri

Volltext

Awari game score database von Romein, John W.

Volltext bestellen

Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs von Remenska, Daniela, Willemse, Tim A. C., Templon, Jeff, Verstoep, Kees, Bal, Henri

Volltext

Taking ROCKET on an Efficiency Mission: Multivariate Time Series Classification with LightWaveS von Pantiskas, Leonardos, Verstoep, Kees, Hoogendoorn, Mark, Bal, Henri

Volltext bestellen

Fast Measurement of LogP Parameters for Message Passing Platforms von Kielmann, Thilo, Bal, Henri E., Verstoep, Kees

Volltext

Analysis of DIRAC's behavior using model checking with process algebra von Remenska, Daniela, Templon, Jeff, Willemse, Tim, Bal, Henri, Verstoep, Kees, Fokkink, Wan, Charpentier, Philippe, Diaz, Ricardo Graciani, Lanciotti, Elisa, Roiser, Stefan, Ciba, Krzysztof

Volltext

Bonsai: Cutting Models Down to Size von Vijzelaar, Stefan, Verstoep, Kees, Fokkink, Wan, Bal, Henri

Volltext

Network performance-aware collective communication for clustered wide-area systems von Kielmann, Thilo, Bal, Henri E., Gorlatch, Sergei, Verstoep, Kees, Hofman, Rutger F.H.

Volltext

Middleware adaptation with the Delphoi service von Maassen, Jason, van Nieuwpoort, Rob V., Kielmann, Thilo, Verstoep, Kees, den Burger, Mathijs

Volltext

Multivariate Time Series Early Classification Across Channel and Time Dimensions von Leonardos Pantiskas, Verstoep, Kees, Hoogendoorn, Mark, Bal, Henri

Volltext

Taking ROCKET on an Efficiency Mission: Multivariate Time Series Classification with LightWaveS von Leonardos Pantiskas, Verstoep, Kees, Hoogendoorn, Mark, Bal, Henri

Volltext

From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems von Remenska, Daniela, Templon, Jeff, Willemse, Tim A. C., Homburg, Philip, Verstoep, Kees, Casajus, Adria, Bal, Henri

Volltext

Large-Scale Parallel Computing on Grids von Bal, Henri, Verstoep, Kees

Volltext

The Distributed ASCI Supercomputer project von BAL, Henri, BHOEDJANG, Raoul, VELDEMA, Ronald, VERSTOEP, Kees, BAGGIO, Aline, BALLINTIJN, Gerco, KUZ, Ihor, PIERRE, Guillaume, VAN STEEN, Maarten, TANENBAUM, Andy, DOORNBOS, Gerben, GERMANS, Desmond, HOFMAN, Rutger, SPOELDER, Hans, BAERENDS, Evert-Jan, VAN GISBERGEN, Stan, AFSERMANESH, Hamideh, VAN ALBADA, Dick, BELLOUM, Adam, DUBBELDAM, David, HENDRIKSE, Zeger, HERTZBERGER, Bob, HOEKSTRA, Alfons, JACOBS, Ceriel, ISKRA, Kamil, KANDHAI, Drona, KOELMA, Dennis, VAN DER LINDEN, Frank, OVEREINDER, Benno, SLOOT, Peter, SPINNATO, Piero, EPEMA, Dick, VAN GEMUND, Arjan, JONKER, Pieter, KIELMANN, Thilo, RADULESCU, Andrei, VAN REEUWIJK, Cees, SIPS, Henk, KNIJNENBURG, Peter, LEW, Michael, SLUITER, Floris, WOLTERS, Lex, BLOM, Hans, DE LAAT, Cees, VAN DER STEEN, Aad, MAASSEN, Jason, VAN NIEUWPOORT, Rob, ROMEIN, John, RENAMBOT, Luc, RÜHL, Tim

Volltext

Programming environments for high-performance Grid computing: the Albatross project von Kielmann, Thilo, Bal, Henri E., Maassen, Jason, van Nieuwpoort, Rob, Eyraud, Lionel, Hofman, Rutger, Verstoep, Kees

Volltext

Embedded Network Protocols for Mobile Devices von Galataki, Despo, Radulescu, Andrei, Verstoep, Kees, Fokkink, Wan

Volltext