Sciweavers

4887 search results - page 133 / 978
» System Level Design Using C
Sort
View
130
Voted
AIED
2005
Springer
15 years 10 months ago
Making Learning Design Standards Work with an Ontology of Educational Theories
In this paper, we present an ontology of educational theories their relation to learning design. This ontology takes into account learning design (LD) specifications such as OUNL-E...
Valéry Psyché, Jacqueline Bourdeau, ...
DATE
1997
IEEE
95views Hardware» more  DATE 1997»
15 years 8 months ago
Synthesis of multi-rate and variable rate circuits for high speed telecommunications applications
A design methodology for the synthesis of digital circuits used in high throughput digital modems is presented. The methodology spans digital modem design from the link level to t...
Patrick Schaumont, Serge Vernalde, Luc Rijnders, M...
149
Voted
GECCO
2007
Springer
163views Optimization» more  GECCO 2007»
15 years 10 months ago
Supporting free-form design using a component based representation: an overview
This paper reviews the development of an interactive evolutionary design system (IEDS) for conceptual design, which integrates an agent based ‘build and evolve’ approach with ...
Azahar T. Machwe, Ian C. Parmee
155
Voted
ICSE
2009
IEEE-ACM
15 years 2 months ago
Model checking flight control systems: The Airbus experience
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
Thomas Bochot, Pierre Virelizier, Hél&egrav...
DATE
1997
IEEE
75views Hardware» more  DATE 1997»
15 years 8 months ago
Using constraint logic programming in memory synthesis for general purpose computers
In modern computer systems the performance is dominated by the memory performance. Currently, there is neither a systematic design methodology nor a tool for the design of memory ...
Renate Beckmann, Jürgen Herrmann