Sciweavers

2957 search results - page 266 / 592
» Code analysis and CS-XML
Sort
View
125
Voted
CORR
2010
Springer
254views Education» more  CORR 2010»
15 years 2 months ago
Information-Theoretic Analysis of an Energy Harvesting Communication System
—In energy harvesting communication systems, an exogenous recharge process supplies energy for the data transmission and arriving energy can be buffered in a battery before consu...
Omur Ozel, Sennur Ulukus
143
Voted
TCOM
2010
133views more  TCOM 2010»
15 years 2 months ago
An Exact Performance Analysis of MRC / OSTBC over Generalized Fading Channels
—A unified analytical framework for evaluating the performance of maximal ratio combining (MRC) and orthogonal space-time block coding (OSTBC) over generalized fading channels i...
George A. Ropokis, Athanasios A. Rontogiannis, P. ...
FMAM
2010
157views Formal Methods» more  FMAM 2010»
15 years 1 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
IMC
2010
ACM
15 years 1 months ago
High speed network traffic analysis with commodity multi-core systems
Multi-core systems are the current dominant trend in computer processors. However, kernel network layers often do not fully exploit multi-core architectures. This is due to issues...
Francesco Fusco, Luca Deri
SIGSOFT
2010
ACM
15 years 1 months ago
Speculative analysis: exploring future development states of software
Most software tools and environments help developers analyze the present and past development states of their software systems. Few approaches have investigated the potential cons...
Yuriy Brun, Reid Holmes, Michael D. Ernst, David N...