Sciweavers

5180 search results - page 659 / 1036
» Concurrency, Time, and Constraints
Sort
View
DEXAW
2004
IEEE
131views Database» more  DEXAW 2004»
15 years 10 months ago
Personalised E-Learning Opportunities - Call for a Pedagogical Domain Knowledge Model
A considerable amount of e-learning content is being delivered via virtual or managed learning environments. These platforms keep track of learners' activities including cont...
Alex G. Büchner, David W. Patterson
GECCO
2006
Springer
152views Optimization» more  GECCO 2006»
15 years 10 months ago
A combinatorial genetic algorithm for the configuration of the 2dF/AAOmega spectrograph at the anglo-Australian observatory
To help unravel the structure of the universe, astronomers have developed systems which observe large clusters of objects at the same time. One such system is the 2-degree field s...
Steven Manos, Geraint Lewis
CODES
2001
IEEE
15 years 10 months ago
Formal synthesis and code generation of embedded real-time software
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
Pao-Ann Hsiung
CODES
2001
IEEE
15 years 10 months ago
Dynamic I/O power management for hard real-time systems
Power consumption is an important design parameter for embedded and portable systems. Software-controlled (or dynamic) power management (DPM) has recently emerged as an attractive...
Vishnu Swaminathan, Krishnendu Chakrabarty, S. Sit...
GECCO
2000
Springer
182views Optimization» more  GECCO 2000»
15 years 10 months ago
A Novel Evolvable Hardware Framework for the Evolution of High Performance Digital Circuits
This paper presents a novel evolvable hardware framework for the automated design of digital circuits for high performance applications. The technique evolves circuits correspondi...
Ben I. Hounsell, Tughrul Arslan