5030 search results - page 182 / 1006 » cases 2007 |
221
click to vote
MASCOTS
2004
15 years 8 months ago
2004
In this paper, we describe the dual-processor parallelisation of a symbolic (BDD-based) implementation of probabilistic model checking. We use multi-terminal BDDs, which allow a c...
152
click to vote
MVA
1994
15 years 8 months ago
1994
We present a procedure to split (or segment) touching numerals. We are neither assuming a dominant orientation for the text direction nor long character strings. The basic idea is...
157
Voted
JGTOOLS
2007
15 years 7 months ago
2007
Abstract. In many real-time rendering applications, it is necessary to model a fog volume that is bounded by a single plane but is otherwise infinite in extent. This paper presents...
186
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
Synchronous circuits are typically clocked considering worst case timing paths so that timing errors are avoided under all circumstances. In the case of a pipelined processor, thi...
168
click to vote
ISPD
2007
ACM
15 years 8 months ago
2007
ACM
The existing temperature-aware clock embedding assumes a time-invariant temperature gradient. However, it is not solved how to find the worst-case temperature gradient leading to...