Sciweavers

5355 search results - page 466 / 1071
» Modules
Sort
View
WSC
2008
15 years 7 months ago
A generic framework for real-time discrete event simulation (DES) modelling
This paper suggests a generic simulation platform that can be used for real-time discrete event simulation modeling. The architecture of the proposed system is based on a tested f...
Siamak Tavakoli, Alireza Mousavi, Alexander Komash...
AMAST
2008
Springer
15 years 6 months ago
Implementing a Categorical Information System
The authors have proposed using category-theoretic sketches to enhance database design and integration methodologies. The algebraic context is called the Sketch Data Model (SkDM) a...
Michael Johnson, Robert D. Rosebrugh
CAV
2008
Springer
115views Hardware» more  CAV 2008»
15 years 6 months ago
An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...
Oliver Wienand, Markus Wedler, Dominik Stoffel, Wo...
DSD
2008
IEEE
115views Hardware» more  DSD 2008»
15 years 6 months ago
Reliable Data Transmission over Simple Wireless Channels: A Case Study
We discuss the issue of reliable transmission of bounded streams of data samples over simple wireless channels offered by low-end RF modules. Traditional solutions, i.e., window-b...
Pawel Gburzynski, Bozena Kaminska, Ashikur Rahman
ECTEL
2008
Springer
15 years 6 months ago
Measuring Learning Object Reuse
This paper presents a quantitative analysis of the reuse of learning objects in real world settings. The data for this analysis was obtained from three sources: Connexions' mo...
Xavier Ochoa, Erik Duval