Sciweavers

3224 search results - page 118 / 645
» Abstract Error Projection
Sort
View
GLOBECOM
2007
IEEE
16 years 19 days ago
Performance Analysis of Transmit and Receive Antenna Selection with Space-Time Coding
Abstract—This paper analyzes the performance of multipleinput multiple-output (MIMO) systems with transmit and receive antenna selection (T-RAS). The average bit error rate (BER)...
Wei Zhang, Chintha Tellambura, Xinwei Deng
KBSE
2003
IEEE
15 years 11 months ago
Automation for Exception Freedom Proofs
Run-time errors are typically seen as unacceptable within safety and security critical software. The SPARK approach to the development of high integrity software addresses the pro...
Bill J. Ellis, Andrew Ireland
BIS
2008
92views Business» more  BIS 2008»
15 years 7 months ago
Structural Detection of Deadlocks in Business Process Models
Abstract. A common task in business process modelling is the verification of process models regarding syntactical and structural errors. While the former might be checked with low ...
Ahmed Awad, Frank Puhlmann
NETWORKING
2007
15 years 7 months ago
Streaming Performance in Multiple-Tree-Based Overlays
Abstract. In this paper we evaluate the data transmission performance of a generalized multiple-tree-based overlay architecture for peer-to-peer live streaming that employs multipa...
György Dán, Viktória Fodor, Ili...
ECEASST
2008
171views more  ECEASST 2008»
15 years 6 months ago
Type Checking C++ Template Instantiation by Graph Programs
Abstract: Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. T...
Karl Azab, Karl-Heinz Pennemann