Sciweavers

502 search results - page 61 / 101
» An Audit Logic for Accountability
Sort
View
DATE
2007
IEEE
85views Hardware» more  DATE 2007»
16 years 18 days ago
Timing simulation of interconnected AUTOSAR software-components
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
Matthias Krause, Oliver Bringmann, André He...
FUZZIEEE
2007
IEEE
16 years 18 days ago
Using the OLS Algorithm to Build Interpretable Rule Bases: An Application to a Depollution Problem
— One of the main advantages of fuzzy modeling is the ability to yield interpretable results. Amongst these modeling methods, the OLS algorithm is a mathematically robust techniq...
Sébastien Destercke, Serge Guillaume, Brigi...
AIED
2007
Springer
16 years 14 days ago
Fitting Spatial Ability into Intelligent Tutoring Systems Development
Building effective learning environments is an art that can only be perfected by a great deal of explorations involving the environments’ audience: the learners. This paper focus...
Nancy Milik, Antonija Mitrovic, Michael Grimley
DATE
2006
IEEE
108views Hardware» more  DATE 2006»
16 years 10 days ago
Scheduling under resource constraints using dis-equations
Scheduling is an important step in high-level synthesis (HLS). In our tool, we perform scheduling in two steps: coarse-grain scheduling, in which we take into account the whole co...
Hadda Cherroun, Alain Darte, Paul Feautrier
DATE
2005
IEEE
169views Hardware» more  DATE 2005»
15 years 12 months ago
Activity Packing in FPGAs for Leakage Power Reduction
In this paper, two packing algorithms for the detection of activity profiles in MTCMOS-based FPGA structures are proposed for leakage power mitigation. The first algorithm is a ...
Hassan Hassan, Mohab Anis, Antoine El Daher, Moham...