Sciweavers

CORR
2010
Springer
178views Education» more  CORR 2010»
13 years 8 months ago
Formalization of the data flow diagram rules for consistency check
In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the ...
Rosziati Ibrahim, Siow Yen yen
CORR
2010
Springer
178views Education» more  CORR 2010»
13 years 8 months ago
Fast Histograms using Adaptive CUDA Streams
Histograms are widely used in medical imaging, network intrusion detection, packet analysis and other streambased high throughput applications. However, while porting such software...
Sisir Koppaka, Dheevatsa Mudigere, Srihari Narasim...
CORR
2010
Springer
103views Education» more  CORR 2010»
13 years 8 months ago
Probabilistic regular graphs
Deterministic graph grammars generate regular graphs, that form a structural extension of configuration graphs of pushdown systems. In this paper, we study a probabilistic extensio...
Nathalie Bertrand, Christophe Morvan
CORR
2008
Springer
91views Education» more  CORR 2008»
13 years 8 months ago
Significant Diagnostic Counterexamples in Probabilistic Model Checking
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
Miguel E. Andrés, Pedro R. D'Argenio, Peter...
CORR
2010
Springer
55views Education» more  CORR 2010»
13 years 8 months ago
On Zone-Based Analysis of Duration Probabilistic Automata
Oded Maler, Kim G. Larsen, Bruce H. Krogh
CORR
2008
Springer
148views Education» more  CORR 2008»
13 years 8 months ago
Integrating Job Parallelism in Real-Time Scheduling Theory
We investigate the global scheduling of sporadic, implicit deadline, real-time task systems on multiprocessor platforms. We provide a task model which integrates job parallelism. ...
Sébastien Collette, Liliana Cucu, Joël...
CORR
2008
Springer
100views Education» more  CORR 2008»
13 years 8 months ago
Statistical region-based active contours with exponential family observations
In this paper, we focus on statistical region-based active contour models where image features (e.g. intensity) are random variables whose distribution belongs to some parametric ...
François Lecellier, Stéphanie Jehan-...
CORR
2008
Springer
100views Education» more  CORR 2008»
13 years 8 months ago
Lossy Source Transmission over the Relay Channel
Lossy transmission over a relay channel in which the relay has access to correlated side information is considered. First, a joint source-channel decode-and-forward scheme is propo...
Deniz Gündüz, Elza Erkip, Andrea J. Gold...
CORR
2008
Springer
72views Education» more  CORR 2008»
13 years 8 months ago
Lossless Compression with Security Constraints
Secure distributed data compression in the presence of an eavesdropper is explored. Two correlated sources that need to be reliably transmitted to a legitimate receiver are availab...
Deniz Gündüz, Elza Erkip, H. Vincent Poo...