Sciweavers

7288 search results - page 218 / 1458
» On process rate semantics
Sort
View
CORR
2010
Springer
135views Education» more  CORR 2010»
15 years 6 months ago
Gravitational tree-code on graphics processing units: implementation in CUDA
We present a new very fast tree-code which runs on massively parallel Graphical Processing Units (GPU) with NVIDIA CUDA architecture. The tree-construction and calculation of mult...
Evghenii Gaburov, Jeroen Bédorf, Simon Port...
CDC
2010
IEEE
145views Control Systems» more  CDC 2010»
15 years 1 months ago
Construction of Lyapunov functions for piecewise-deterministic Markov processes
The purpose of this contribution is twofold: 1) to present for the first time a Lyapunov function that proves exponential ergodicity of a process studied by the authors in [1], whe...
Alexandre R. Mesquita, João Pedro Hespanha
ICASSP
2011
IEEE
14 years 10 months ago
A point target reference spectrum for general bistatic SAR processing
Focusing bistatic SAR data in frequency domain requires the two dimensional (2D) point target reference spectrum (PTRS). In this paper, a 2D PTRS is derived based on Loffeld’s b...
Junjie Wu, Jianyu Yang, Yulin Huang, Haiguang Yang...
ARTS
1999
Springer
15 years 10 months ago
Process Algebra with Probabilistic Choice
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
Suzana Andova
ESAW
2006
Springer
15 years 10 months ago
Modelling and Executing Complex and Dynamic Business Processes by Reification of Agent Interactions
Interaction refers to an abstract and intangible concept. In modelling, intangible concepts can be embodied and made explicit. This allows to manipulate the abstractions and to bui...
Marco Stuit, Nick B. Szirbik