Sciweavers

2129 search results - page 68 / 426
» Cutting-Edge Timing Analysis Techniques
Sort
View
CAIP
1995
Springer
150views Image Analysis» more  CAIP 1995»
15 years 1 months ago
Particle Tracking in Space Time Sequences
A particle tracking technique at high particle concentration for the evaluation of flow fields beneath water waves is described. A 14 cm thick light sheet parallel to the main wa...
Frank Hering, Dietmar Wierzimok, Bernd Jähne
EACL
2003
ACL Anthology
14 years 11 months ago
Summarizing Neonatal Time Series Data
We describe our investigations in generating textual summaries of physiological time series data to aid medical personnel in monitoring babies in neonatal intensive care units. Ou...
Somayajulu Sripada, Ehud Reiter, Jim Hunter, Jin Y...
ADAEUROPE
2008
Springer
14 years 11 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs
GCC
2005
Springer
15 years 3 months ago
Performance Analysis of Domain Decomposition Applications Using Unbalanced Strategies in Grid Environments
In this paper, we compare the performance of some mesh-based applications in a Grid environment using the domain decomposition technique and unbalanced workload strategies. We prop...
Beatriz Otero, José M. Cela, Rosa M. Badia,...
NTMS
2008
IEEE
15 years 4 months ago
Time and Location Based Services with Access Control
—We propose an access control model that extends RBAC (Role-Based Access Control) to take time and location into account, and use term rewriting systems to specify access control...
Clara Bertolissi, Maribel Fernández