Sciweavers

644 search results - page 82 / 129
» Teaching system modeling, simulation and validation
Sort
View
VTC
2007
IEEE
200views Communications» more  VTC 2007»
14 years 4 months ago
General Analysis of Uplink Group-Orthogonal MC-CDMA systems
Abstract—Group-orthogonal multicarrier code-division multiple access (GO-MC-CDMA) has been proposed as a multiplexing technique for the uplink segment of wireless systems. The di...
Guillem Femenias, Felip Riera-Palou, Jaume Ramis
ICFEM
2004
Springer
14 years 3 months ago
Verifying a File System Implementation
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Ma...
AUTOMATICA
2008
108views more  AUTOMATICA 2008»
13 years 10 months ago
Closed-loop identification of multivariable systems: With or without excitation of all references?
The accuracy of plant parameters estimated in closed-loop operation is investigated for a class of multivariable systems and for the situation where only some of the reference inp...
Ljubisa Miskovic, Alireza Karimi, Dominique Bonvin...
IPPS
2010
IEEE
13 years 7 months ago
Hypergraph-based task-bundle scheduling towards efficiency and fairness in heterogeneous distributed systems
This paper investigates scheduling loosely coupled task-bundles in highly heterogeneous distributed systems. Two allocation quality metrics are used in pay-per-service distributed ...
Han Zhao, Xinxin Liu, Xiaolin Li
MICCAI
2005
Springer
14 years 10 months ago
Physiological System Identification with the Kalman Filter in Diffuse Optical Tomography
Abstract. Diffuse optical tomography (DOT) is a noninvasive imaging technology that is sensitive to local concentration changes in oxyand deoxyhemoglobin. When applied to functiona...
Solomon Gilbert Diamond, Theodore J. Huppert, Vill...