Sciweavers

4872 search results - page 78 / 975
» CBR for Modeling Complex Systems
Sort
View
TIT
2010
105views Education» more  TIT 2010»
14 years 10 months ago
DMT optimality of LR-aided linear decoders for a general class of channels, lattice designs, and system models
The work identifies the first general, explicit, and non-random MIMO encoder-decoder structures that guarantee optimality with respect to the diversity-multiplexing tradeoff (DMT),...
Joakim Jalden, Petros Elia
FOCS
2007
IEEE
15 years 10 months ago
Parameterized Proof Complexity
We propose a proof-theoretic approach for gaining evidence that certain parameterized problems are not fixedparameter tractable. We consider proofs that witness that a given prop...
Stefan S. Dantchev, Barnaby Martin, Stefan Szeider
ANSS
1999
IEEE
15 years 8 months ago
DYANA: An Environment for Embedded System Design and Analysis
The results presented here are based on many years of experience of development and application of DYANA
Ruslan L. Smeliansky, Anatoly G. Bakhmurov, A. P. ...
QOSA
2007
Springer
15 years 10 months ago
A Bayesian Model for Predicting Reliability of Software Systems at the Architectural Level
: Modern society relies heavily on complex software systems for everyday activities. Dependability of these systems thus has become a critical feature that determines which product...
Roshanak Roshandel, Nenad Medvidovic, Leana Golubc...
MASCOTS
2003
15 years 5 months ago
System-Level Simulation Modeling with MLDesigner
System-level design presents special simulation modeling challenges. System-level models address the architectural and functional performance of complex systems. Systems are decom...
Gunar Schorcht, Ian A. Troxel, Keyvan Farhangian, ...