NIK 2002

25. - 27. november 2002

Program

Sofie de Flon Arnesen & John Krogstie (NTNU&Sintef): Comparing languages for enterprise modeling using a language quality framework
John Markus Bjørndalen, Otto Anshus, Brian Vinter & Tore Larsen (UiTø): The performance of configurable collective communication for LAM-MPI in clusters and multi-clusters
Frode Eika Sandnes (HiOslo): Using the duplicaticity of a taskgraph to select a suitable multiprocessor scheduling strategy
John Markus Bjørndalen, Otto Anshus, Brian Vinter & Tore Larsen (UiTø): The latency of user-to-user, kernel-to-kernel, and interrupt-to-interrupt level communication
Weihai Yu (UiTø): Later can be better: increasing concurrency of distributed transactions
Fredrik Vraalsen (Sintef): Performance contracts: predicting and monitoring grid application behavior
Fritjof Boger Engelhardtsen & Tommy Gagnes (HiAgder/FFI): Using JavaSpaces to create adaptive distributed systems
Arne Maus (UiO): ARL ? a faster in-place, cache friendly sorting algorithm
Geir Gundersen & Trond Steihaug (UiB): Data structures in Java for matrix computations
Lars Magnus Hvattum, Arne Løkketangen & Fred Glover (HiMolde): Adaptivt lokalsøk for boolske optimeringsproblemer
Jean Blair & Fredrik Manne (UiB): Efficient self-stabilizing algorithms for tree networks
Christian Magnus Berg & Arne Løkketangen (UiB&HiMolde): Bruk av tabusøk og «critical event memory» på «set partitioning»-problemet
Stian Andorsen, Gunnar Hartvigsen & Kai Even Nilssen (UiTø): Symbol e-mail for small children
Øivind Ra & Torbjørn Strøm (HiBuskerud): Trends and challenges in embedded systems ? CoDeVer and HiBu experiences
Manuel Gericota, Gustavo Alves, Miguel Silva & José Ferreira (HiBuskerud): On-line testing of FPGA logic blocks using active replication
Jacqueline Floch & Rolv Bræk (NTNU&Sintef): A validation method adapted to dynamic service composition
Mass Soldal Lund (UiO): Validation of contract decomposition by testing
Tore Mallaug & Kjell Bratbergsengen (NTNU): Evolving Document Type Definitions (DTDs) for integrated health data
Thomas Strandenæs & Randi Karlsen (Telemedisin/UiTø): Transaction compensation in web services
Pauline Haddow & Morten Hartmann (NTNU): Achieving complexity an reliability on unreliable platforms
Kjetil Stølen, Folker den Braber, Theo Dimitrakos, Rune Fredriksen, Bjørn Axel Gran, Siv-Hilde Houmb, Mass Soldal Lund, Yannis Stamatiou & Jan Øyvind Aagedal (Sintef&IFE&Telenor): Model-based risk assessment ? the CORAS approach
Stein Gjessing & Fredrik Davik (Simula): Perfomance evaluation of back-pressure fairness in RPR

Om konferansen

Arrangør

Høgskolen i Buskerud

Område

Quality Grand Hotel, Kongsberg

Programkomité

Terje Fallmyr Høgskolen i Bodø
Said Hadjerrouit Høgskolen i Agder
Dag Langmyhr Univ i Oslo
Ole Christian Lingjærde Univ i Oslo
Fredrik Manne Univ i Bergen
Roger Midtstraum NTNU
Norvald Stol (leder) NTNU
Torbjørn Strøm (redaktør og arrangør) Høgskolen i Buskerud
Weihai Yu Univ i Tromsø