Sciweavers

9842 search results - page 95 / 1969
» Compositional timing analysis
Sort
View
ECOOPW
1998
Springer
14 years 1 months ago
Run-Time Adaptability of Synchronization Policies in Concurrent Object Oriented Languages
Adaptability has become one of the most important research areas in concurrent object-oriented systems in recent years. It tries to cope with system evolution by adding/replacing ...
Fernando Sánchez, Juan Hernández N&u...
ISORC
2000
IEEE
14 years 18 days ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
MICCAI
2008
Springer
14 years 10 months ago
Parallelized Hybrid TGRAPPA Reconstruction for Real-Time Interactive MRI
Abstract. Real-time parallel MRI reconstruction was demonstrated using a hybrid implementation of the TGRAPPA algorithm. The GRAPPA coefficients were calculated in k-space and appl...
Haris Saybasili, Peter Kellman, J. Andrew Derbys...
PAPM
2001
Springer
107views Mathematics» more  PAPM 2001»
14 years 1 months ago
MoDeST - A Modelling and Description Language for Stochastic Timed Systems
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...
Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter ...
EOR
2006
79views more  EOR 2006»
13 years 9 months ago
Technology choice and timing with positive network effects
When two competing and incompatible products coexist in a market, potential users face a choice between the two products and the alternative of deferring the decision. This paper ...
Laura J. Kornish