1189 search results - page 61 / 238 » Pipeline Timing Analysis Using a Trace-Driven Simulator |
175
Voted
PC
2006
15 years 3 months ago
2006
Cellular automata (CA) are discrete dynamic systems that have been used for modeling many physical systems. CA are often used as an alternative to model and solve large-scale syst...
146
click to vote
ENTCS
2007
15 years 3 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
130
Voted
VIS
2009
IEEE
16 years 5 months ago
2009
IEEE
Due to its nonlinear nature, the climate system shows quite high natural variability on different time scales, including multiyear oscillations such as the El Ni~no Southern Oscill...
152
click to vote
IEEECIT
2010
IEEE
15 years 1 months ago
2010
IEEE
Face recognition has great demands in human recognition and recently it becomes one of the most important research areas of biometrics. In this paper, we present a novel layered fa...
131
click to vote
STOC
1998
ACM
15 years 8 months ago
1998
ACM
In [6], Gallager introduces a family of codes based on sparse bipartite graphs, which he calls low-density parity-check codes. He suggests a natural decoding algorithm for these c...