Alice M. Tokarnia

Publication Activity (10 Years)

Years Active: 1993-2013
Publications (10 Years): 0

Top Topics

Embedded Real Time Systems

Consumer Electronics

Computing Power

Temporal Patterns

Top Venues

Publications

Alice M. Tokarnia, Emerson P. Cruz
Scenario Patterns and Trace-Based Temporal Verification of Reactive Embedded Systems. DSD (2013)
Alice M. Tokarnia, Pedro C. F. Pepe, Leandro D. Pagotto
Path-Based Dynamic Voltage and Frequency Scaling Algorithms for Multiprocessor Embedded Applications with Soft Delay Deadlines. DSD (2011)
Alice M. Tokarnia, Marina Tachibana
Design of Trace-Based Split Array Caches for Embedded Applications. DSD (2010)
Christian F. da Silva, Alice M. Tokarnia
RECASTER: Synthesis of Fault-Tolerant Embedded Systems Based on Dynamically Reconfigurable FPGAs. IPDPS (2004)
Alice M. Tokarnia
Identifying Minimal Shift Counters: A Search Technique. IEEE Trans. Computers 43 (5) (1994)
Alice M. Tokarnia
Minimal Shift Counters and Frequency Division. DAC (1993)