Nordic Journal of Computing, Volume 12

Volume 12, Number 1, 2005

Danny Krizanc, Pat Morin, Michiel H. M. Smid: Range Mode and Range Median Queries on Lists and Trees. 1-17
Wan Fokkink, Jaap-Henk Hoepman, Jun Pang: A Note on K-State Self-stabilization in a Ring with K=N. 18-26
Amr Elmasry: Deterministic Jumplists. 27-39
Veli Mäkinen, Gonzalo Navarro: Succinct Suffix Arrays based on Run-Length Encoding. 40-66

Volume 12, Number 2, 2005

Selected Papers of the Sixteenth Nordic Workshop on Programming Theory (NWPT'04), October 6-8, 2004

Paul Pettersson, Wang Yi: Guest Editors' Foreword. 67-
Juhan P. Ernits: Memory Arbiter Synthesis and Verification for a Radar Memory Interface Card. 68-88
Lars Kristiansen, Paul J. Voda: Programming Languages Capturing Complexity Classes. 89-115
Marcel Kyas, Frank S. de Boer, Willem P. de Roever: A Compositional Trace Logic for Behavioural Interface Specifications. 116-132
Härmel Nestra: Transfinite Corecursion. 133-156
Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen: Refining UML Interactions with Underspecification and Nondeterminism. 157-188
Todd L. Veldhuizen: Language Embeddings that Preserve Staging and Safety. 189-198

Volume 12, Number 3, 2005

Selected Papers of the Second International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'05), June 6, 2005, Rennes, France

Johan Lilius, Ricardo Jorge Machado, Dragos Truscan, João M. Fernandes, Ivan Porres: Guest Editors' Foreword. 198-199
Issam Al-Azzoni, Douglas G. Down, Ridha Khédri: Modeling and Verification of Cryptographic Protocols Using Coloured Petri Nets and Design/CPN. 200-228
João Paulo Barros, Jens Bæk Jørgensen: A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design. 229-250
Jonathan Billington, Guy Edward Gallasch, Laure Petrucci: Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets. 251-274

General Papers

Erez Petrank, Dror Rawitz: The Hardness of Cache Conscious Data Placement. 275-307
Elena Prieto, Christian Sloper: Reducing to Independent Set Structure -- the Case of k-Internal Spanning Tree. 308-318

Volume 12, Number 4, August 2005

Selected Papers of the Third Nordic Workshop on UML and Software Modeling (NWUML'2005), August 29-31, 2005

Kai Koskimies, Ludwik Kuzniarz: Guest Editors' Foreword. 319-320
Marcus Alanen, Torbjörn Lundkvist, Ivan Porres: Comparison of Modeling Frameworks for Software Engineering. 321-342
Lukasz Dobrzanski, Ludwik Kuzniarz: Practical Refactoring of Executable UML Models. 343-360
Johan Lilius, Tomas Lillqvist, Torbjörn Lundkvist, Ian Oliver, Ivan Porres, Kim Sandström, Glen Sveholm, Asim Pervez Zaka: An Architecture Exploration Environment for System on Chip Design. 361-378
Sven Wenzel: Automatic Detection of Incomplete Instances of Structural Patterns in UML Class Diagrams. 361-378

Last update Fri May 17 20:39:35 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page