204 search results - page 20 / 41 » Efficient Modeling of Embedded Memories in Bounded Model Che... |
216
Voted
FPL
2006
Springer
15 years 10 months ago
2006
Springer
With current FPGAs, designers can now instantiate several embedded processors, memory units, and a wide variety of IP blocks to build a single-chip, high-performance multiprocesso...
193
click to vote
JTRES
2010
ACM
15 years 6 months ago
2010
ACM
Chip-multiprocessors offer increased processing power at a low cost. However, in order to use them for real-time systems, tasks have to be scheduled efficiently and predictably. I...
152
click to vote
KBSE
2007
IEEE
16 years 21 days ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
172
click to vote
ACL
2010
15 years 4 months ago
2010
Hierarchical HMM (HHMM) parsers make promising cognitive models: while they use a bounded model of working memory and pursue incremental hypotheses in parallel, they still achieve...
179
click to vote
DFG
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...