Sciweavers

466 search results - page 57 / 94
» Markovian Models for Performance and Dependability Evaluatio...
Sort
View
ISSRE
2010
IEEE
13 years 7 months ago
Automating System Tests Using Declarative Virtual Machines
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
Sander van der Burg, Eelco Dolstra
GLOBECOM
2008
IEEE
14 years 3 months ago
On the Statistics and MAC Implications of Channel Estimation Errors in MIMO Ad Hoc Networks
—In this paper, we propose an analytical technique to evaluate the statistics of the channel estimation error in a simple multi-user ad hoc networking scenario. This problem is v...
Davide Chiarotto, Paolo Casari, Michele Zorzi
ICCCI
2009
Springer
14 years 3 months ago
Accuracy in Predicting Secondary Structure of Ionic Channels
Ionic channels are among the most difficult proteins for experimental structure determining, very few of them has been resolved. Bioinformatical tools has not been tested for this ...
Bogumil Konopka, Witold Dyrka, Jean-Christophe Neb...
ICPADS
1994
IEEE
14 years 19 days ago
Stochastic Modeling of Scaled Parallel Programs
Testingthe performance scalabilityof parallelprograms can be a time consuming task, involving many performance runs for different computer configurations, processor numbers, and p...
Allen D. Malony, Vassilis Mertsiotakis, Andreas Qu...
EMSOFT
2006
Springer
14 years 5 days ago
Modeling a system controller for timing analysis
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
Stephan Thesing