15840 search results - page 2551 / 3168 » The Control of Synchronous Systems |
219
click to vote
WMPI
2004
ACM
16 years 26 days ago
2004
ACM
In order to meet the requirements concerning both performance and energy consumption in embedded systems, new memory architectures are being introduced. Beside the well-known use o...
199
click to vote
CARDIS
2004
Springer
16 years 25 days ago
2004
Springer
: One major challenge for digitally signing a document is the so called “what you see is what you sign” problem. XML as a meta language for encoding semistructured data offers ...
193
click to vote
CP
2004
Springer
16 years 25 days ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
211
click to vote
EUROPAR
2004
Springer
16 years 25 days ago
2004
Springer
Since embedded systems require ever more compute power, SMT processors are viable candidates for future high performance embedded processors. However, SMTs exhibit unpredictable pe...
173
click to vote
FATES
2004
Springer
16 years 25 days ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...