Alice M. Tokarnia
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
1993–2013
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | DSD | Scenario Patterns and Trace-Based Temporal Verification of Reactive Embedded Systems. | Alice M. Tokarnia, Emerson P. Cruz |
| 2011 | DSD | Path-Based Dynamic Voltage and Frequency Scaling Algorithms for Multiprocessor Embedded Applications with Soft Delay Deadlines. | Alice M. Tokarnia, Pedro C. F. Pepe, Leandro D. Pagotto |
| 2010 | DSD | Design of Trace-Based Split Array Caches for Embedded Applications. | Alice M. Tokarnia, Marina Tachibana |
| 1993 | DAC | Minimal Shift Counters and Frequency Division. | Alice M. Tokarnia |