Sciweavers

12333 search results - page 181 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
IADIS
2008
15 years 7 months ago
Usability Evaluation Of The Moodle System From The Teachers' Perspective
This article presents an empirical study performed to evaluate the Moodle usability, from the point of view of teachers who are using this system to support their classes. The usa...
Tereza G. Kirner, Carlos de A. Custódio, Cl...
IOT
2010
15 years 4 months ago
Using web service gateways and code generation for sustainable IoT system development
Wireless Sensing and Radio Identification systems have undergone many innovations during the past years. This has led to short product lifetimes for both software and hardware comp...
Till Riedel, Nicolaie Fantana, Adrian Genaid, Dimi...
154
Voted
DSN
2005
IEEE
15 years 12 months ago
Assured Reconfiguration of Fail-Stop Systems
Hardware dependability improvements have led to a situation in which it is sometimes unnecessary to employ extensive hardware replication to mask hardware faults. Expanding upon o...
Elisabeth A. Strunk, John C. Knight, M. Anthony Ai...
ETS
2007
IEEE
105views Hardware» more  ETS 2007»
16 years 21 days ago
Communication-Centric SoC Debug Using Transactions
— The growth in System-on-Chip complexity puts pressure on system verification. Due to limitations in the pre-silicon verification process, errors in hardware and software slip...
Bart Vermeulen, Kees Goossens, Remco van Steeden, ...
164
Voted
ICFEM
2009
Springer
16 years 28 days ago
Scalable Multi-core Model Checking Fairness Enhanced Systems
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
Yang Liu 0003, Jun Sun 0001, Jin Song Dong