Sciweavers

9842 search results - page 95 / 1969
» Compositional timing analysis
Sort
View
ECOOPW
1998
Springer
15 years 6 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
15 years 6 months 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
16 years 3 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...
89
Voted
PAPM
2001
Springer
107views Mathematics» more  PAPM 2001»
15 years 6 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»
15 years 2 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