254 search results - page 26 / 51 » Important moments in systems, control and optimization |
173
Voted
EUROGP
2009
Springer
15 years 10 months ago
2009
Springer
The contribution presented herein proposes an adaptive genetic algorithm applied to quantum logic circuit synthesis that, dynamically adjusts its control parameters. The adaptation...
169
Voted
MICRO
2008
IEEE
16 years 14 days ago
2008
IEEE
Any architectural optimization aims at satisfying the end user. However, modern architectures execute with little to no knowledge about the individual user. If architectures could...
157
click to vote
ICECCS
2009
IEEE
16 years 22 days ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
168
click to vote
ICST
2009
IEEE
16 years 22 days ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
206
click to vote
KR
1991
Springer
15 years 9 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...