Sciweavers

2441 search results - page 351 / 489
» Engineering a Tool to Detect Automatically Generated Papers
Sort
View
ICALT
2009
IEEE
15 years 11 months ago
Using Language Technologies to Diagnose Learner's Conceptual Development
Formative feedback can provide information about how learners develop their competences in a knowledge domain. This information can determine learners’ progress and is essential...
Adriana J. Berlanga, Marco Kalz, Slavi Stoyanov, P...
DATE
2008
IEEE
168views Hardware» more  DATE 2008»
15 years 10 months ago
A methodology for improving software design lifecycle in embedded control systems
Control design and real-time implementation are usually performed in isolation. The effects of the computer implementation on control system performance are still evaluated on the...
Mohamed El Mongi Ben Gaid, Rémy Kocik, Yves...
ISQED
2005
IEEE
92views Hardware» more  ISQED 2005»
15 years 9 months ago
Evaluation of Capacitor Ratios in Automated Accurate Common-Centroid Capacitor Arrays
In this paper, design and measurement results of a test chip that intends to evaluate differences between layout techniques for rectangular unit-capacitor arrays are introduced. P...
DiaaEldin Khalil, Mohamed Dessouky, Vincent Bourgu...
FM
2005
Springer
114views Formal Methods» more  FM 2005»
15 years 9 months ago
Systematic Implementation of Real-Time Models
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
Martin De Wulf, Laurent Doyen, Jean-Françoi...
ICCS
2004
Springer
15 years 9 months ago
Evaluating the Performance of Skeleton-Based High Level Parallel Programs
We show in this paper how to evaluate the performance of skeleton-based high level parallel programs. Since many applications follow some commonly used algorithmic skeletons, we id...
Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hi...