CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2012
-
January 2012
-
Connectors as designs: Modeling, refinement and test case generation. Article
Science of Computer Programming, 77(7-8)January 2012 -
Vectorwise: Beyond Column Stores Article
IEEE Data Engineering Bulletin, 35(1), 21-27.January 2012
-
Distance edge-colourings and matchings Article
Discrete Applied Mathematics, 160(16-17), 2435-2439.January 2012 -
Programming and deployment of active objects with application-level scheduling In Proceedings
F.S. de Boer (Frank), B. Nobakht (Behrooz), M.M. Jaghoori (Mohammad Mahdi) and R. Schlatte (Rudolf)
January 2012 -
Decidability Problems for Actor Systems. In Proceedings
F.S. de Boer (Frank), C. Laneve (Cosimo) and G. Zavattaro (Gianluigi)
January 2012 -
Resource optimization in distributed real-time multimedia applications Article
Multimedia Tools and Applications, 59(3), 941-971.R. Yang (Ran), R.D. van der Mei (Rob), D. Roubos, F.J. Seinstra and H. Bal
January 2012