Sciweavers

1058 search results - page 117 / 212
» Performance Analysis of Mapping Strategies for Parallel Simu...
Sort
View
MEDIAFORENSICS
2010
15 years 4 months ago
Multimodal object authentication with random projections: a worst-case approach
In this paper, we consider a forensic multimodal authentication framework based on binary hypothesis testing in random projections domain. We formulate a generic authentication pr...
Oleksiy J. Koval, Sviatoslav Voloshynovskiy
122
Voted
ICPPW
2009
IEEE
15 years 10 months ago
Evaluation of Existing Schedulability Tests for Global EDF
—The increasing attention on global scheduling algorithms for identical multiprocessor platforms produced different, independently developed, schedulability tests. However, the e...
Marko Bertogna
130
Voted
ARTS
1999
Springer
15 years 7 months ago
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
Paul Z. Kolano
118
Voted
CORR
2010
Springer
99views Education» more  CORR 2010»
15 years 3 months ago
MIMO Identical Eigenmode Transmission System (IETS) - A Channel Decomposition Perspective
In the past few years considerable attention has been given to the design of multiple-input multiple-output (MIMO) eigenmode transmission systems (EMTS). This paper presents an in...
M. Zeeshan Shakir, Tariq S. Durrani
129
Voted
BIOINFORMATICS
2010
116views more  BIOINFORMATICS 2010»
15 years 3 months ago
A principal skeleton algorithm for standardizing confocal images of fruit fly nervous systems
Motivation: The fruit fly (Drosophila melanogaster) is a commonly used model organism in biology. We are currently building a 3D digital atlas of the fruit fly larval nervous syst...
Lei Qu, Hanchuan Peng