Sciweavers

5639 search results - page 732 / 1128
» Timed Abstract Non-interference
Sort
View
ICDE
2006
IEEE
144views Database» more  ICDE 2006»
16 years 6 months ago
Network-Aware Operator Placement for Stream-Processing Systems
To use their pool of resources efficiently, distributed stream-processing systems push query operators to nodes within the network. Currently, these operators, ranging from simple...
Peter R. Pietzuch, Jonathan Ledlie, Jeffrey Shneid...
VIS
2007
IEEE
115views Visualization» more  VIS 2007»
16 years 6 months ago
Efficient Computation and Visualization of Coherent Structures in Fluid Flow Applications
Abstract--The recently introduced notion of Finite-Time Lyapunov Exponent to characterize Coherent Lagrangian Structures provides a powerful framework for the visualization and ana...
Christoph Garth, Florian Gerhardt, Xavier Tricoc...
MICCAI
2009
Springer
16 years 6 months ago
Interventional 4-D Motion Estimation and Reconstruction of Cardiac Vasculature without Motion Periodicity Assumption
Abstract. Anatomical and functional information of cardiac vasculature is a key component of future developments in the field of interventional cardiology. With the technology of C...
Christopher Rohkohl, Günter Lauritsch, Marcus...
DAC
2007
ACM
16 years 6 months ago
Designer-Controlled Generation of Parallel and Flexible Heterogeneous MPSoC Specification
Programming multi-processor systems-on-chip (MPSoC) involves partitioning and mapping of sequential reference code onto multiple parallel processing elements. The immense potentia...
Pramod Chandraiah, Rainer Dömer
DAC
2007
ACM
16 years 6 months ago
Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs
Abstract. Embedded multimedia systems often run multiple time-constrained applications simultaneously. These systems use multiprocessor systems-on-chip of which it must be guarante...
Sander Stuijk, Twan Basten, Marc Geilen, Henk Corp...