Sciweavers

2960 search results - page 412 / 592
» A vision for embedded software
Sort
View
ATAL
2005
Springer
15 years 9 months ago
TACOP: a cognitive agent for a naval training simulation environment
This paper describes how cognitive modeling can be exploited in the design of software agents that support naval training sessions. The architecture, specifications, and embedding...
Willem A. van Doesburg, Annerieke Heuvelink, Egon ...
ASPDAC
2004
ACM
129views Hardware» more  ASPDAC 2004»
15 years 9 months ago
Instruction buffering exploration for low energy VLIWs with instruction clusters
— For multimedia applications, loop buffering is an efficient mechanism to reduce the power in the instruction memory of embedded processors. In particular, software controlled ...
Tom Vander Aa, Murali Jayapala, Francisco Barat, G...
163
Voted
AES
2004
Springer
190views Cryptology» more  AES 2004»
15 years 9 months ago
Small Size, Low Power, Side Channel-Immune AES Coprocessor: Design and Synthesis Results
Abstract. When cryptosystems are being used in real life, hardware and software implementations themselves present a fruitful field for attacks. Side channel attacks exploit infor...
Elena Trichina, Tymur Korkishko, Kyung-Hee Lee
DIAGRAMS
2004
Springer
15 years 9 months ago
Cider: A Component-Based Toolkit for Creating Smart Diagram Environments
— Smart Diagram Environments (SDEs) are software applications that use structured diagrams to provide a natural visual interface that behaves as if the computer “understands”...
Anthony R. Jansen, Kim Marriott, Bernd Meyer
FATES
2004
Springer
15 years 9 months ago
Online Testing of Real-time Systems Using Uppaal
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
Kim Guldstrand Larsen, Marius Mikucionis, Brian Ni...