214 search results - page 6 / 43 » Abstraction and extensibility in digital logic simulation so... |
ADAEUROPE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
100
click to vote
CASES
2008
ACM
15 years 1 months ago
2008
ACM
fficient Programming Abstractions for Heterogeneous Multicore Systems on Chip Alastair D. Reid Krisztian Flautner Edmund Grimley-Evans ARM Ltd Yuan Lin University of Michigan The ...
DAC
2001
ACM
16 years 26 days ago
2001
ACM
New application-focused system-on-chip platforms motivate new application-specific processors. Configurable and extensible processor architectures offer the efficiency of tuned lo...
100
click to vote
TAMODIA
2008
15 years 1 months ago
2008
Abstract. In this paper we present a demonstration of the Migrantes environment for supporting user interface migration through different devices, including mobile ones and digital...
WADT
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. The conditions under which a formal system for reasoning about structural specifications, built over one logical system could be reused for reasoning about structured spe...