Sciweavers

3384 search results - page 236 / 677
» More Testable Properties
Sort
View
ICSEA
2006
IEEE
16 years 19 days ago
Extracting Simulation Models from Complex Embedded Real-Time Systems
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
Johan Andersson, Joel Huselius, Christer Norstr&ou...
IJCNN
2006
IEEE
16 years 18 days ago
Statistical Mechanics of Online Learning for Ensemble Teachers
— We analyze the generalization performance of a student in a model composed of linear perceptrons: a true teacher, ensemble teachers, and the student. Calculating the generaliza...
Seiji Miyoshi, Masato Okada
ISCAS
2006
IEEE
85views Hardware» more  ISCAS 2006»
16 years 18 days ago
Digital phase-shift modulation for an isolation buffer in silicon-on-sapphire CMOS
— We designed and fabricated a 4-channels digital isolation amplifier in a 0.5µm Silicon-on-Sapphire technology. The isolation device was fabricated on a single die, taking adv...
Eugenio Culurciello, Philippe O. Pouliquen, Andrea...
KBSE
2006
IEEE
16 years 18 days ago
Modularity Analysis of Logical Design Models
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
Yuanfang Cai, Kevin J. Sullivan
RTSS
2006
IEEE
16 years 18 days ago
Parallel Real-Time Task Scheduling on Multicore Platforms
We propose a scheduling method for real-time systems implemented on multicore platforms that encourages certain groups of equal-utilization tasks to be scheduled together. This me...
James H. Anderson, John M. Calandrino