3053 search results - page 312 / 611 » Performance of Generative Programming Based Protocol Impleme... |
142
Voted
RTSS
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
125
Voted
TCAD
2008
15 years 2 months ago
2008
Embedded systems are constrained by the available memory. Code-compression techniques address this issue by reducing the code size of application programs. It is a major challenge ...
121
Voted
JIPS
2006
15 years 2 months ago
2006
: In this study we propose an automatic reading system for diagnostic DNA chips. We define a general specification for an automatic reading system and propose a possible implementa...
122
Voted
JSA
2000
15 years 2 months ago
2000
Integrating processors and main memory is a promising approach to increase system performance. Such integration provides very high memory bandwidth that can be exploited efficientl...
106
Voted
DAC
2009
ACM
16 years 3 months ago
2009
ACM
Computational complexity has been the primary challenge of many VLSI CAD applications. The emerging multicore and manycore microprocessors have the potential to offer scalable perf...