2615 search results - page 328 / 523 » Analysis of Real Time Operating System Based Applications |
153
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
123
Voted
AAAI
1998
15 years 4 months ago
1998
TacAir-Soar is an intelligent, rule-based system that generates believable human-like" behavior for military simulations. The innovation of the application is primarily a mat...
222
Voted
SIGMOD
2008
ACM
16 years 3 months ago
2008
ACM
A method for approximate subsequence matching is introduced, that significantly improves the efficiency of subsequence matching in large time series data sets under the dynamic ti...
150
Voted
EUROGP
2009
Springer
15 years 8 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...
145
click to vote
ACNS
2011
Springer
14 years 7 months ago
2011
Springer
A method for extracting cryptographic key material from DRAM used in modern computers has been recently proposed in [9]; the technique was called Cold Boot attacks. When considerin...