Sciweavers

3224 search results - page 159 / 645
» Abstract Error Projection
Sort
View
EUROMICRO
2007
IEEE
16 years 1 months ago
Compatibility and reuse in component-based systems via type and unit inference
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...
Christian Kühnel, Andreas Bauer 0002, Michael...
ICC
2007
IEEE
16 years 1 months ago
Optimizing Linear Dispersion Codes for Wideband MIMO Systems
Abstract— We consider the problem of designing space-timefrequency linear dispersion (LD) codes in wideband multipleinput multiple-output (MIMO) antenna systems employing orthogo...
Luca Venturino, Narayan Prasad, Xiaodong Wang, Moh...
VTS
2006
IEEE
108views Hardware» more  VTS 2006»
16 years 23 days ago
Bridging the Accuracy of Functional and Machine-Learning-Based Mixed-Signal Testing
Abstract— Numerous machine-learning-based test methodologies have been proposed in recent years as a fast alternative to the standard functional testing of mixed-signal/RF integr...
Haralampos-G. D. Stratigopoulos, Yiorgos Makris
ML
2006
ACM
16 years 22 days ago
Seminal: searching for ML type-error messages
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
Benjamin S. Lerner, Dan Grossman, Craig Chambers
CC
2003
Springer
120views System Software» more  CC 2003»
16 years 11 hour ago
Run-Time Type Checking for Binary Programs
Abstract. Many important software systems are written in the C programming language. Unfortunately, the C language does not provide strong safety guarantees, and many common progra...
Michael Burrows, Stephen N. Freund, Janet L. Wiene...