15416 search results - page 268 / 3084 » Embeddings of Computable Structures |
143
click to vote
LICS
2008
IEEE
15 years 12 months ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...
134
click to vote
DAC
1999
ACM
16 years 6 months ago
1999
ACM
It is generally believed that there will be little more variety in CPU architectures, and thus the design of Instruction-set Architectures (ISAs) will have no role in the future o...
147
click to vote
DAC
1999
ACM
16 years 6 months ago
1999
ACM
While the number of embedded systems in consumer electronics is growing dramatically, several trends can be observed which challenge traditional codesign practice: An increasing s...
148
click to vote
DAC
1999
ACM
16 years 6 months ago
1999
ACM
This paper presents a synthesis tool ICEBERG for embedded in-circuit emulators (ICE's), that are part of the development environment for microcontroller (or microprocessor)-b...
137
Voted
EUROMICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...