652 search results - page 52 / 131 » Linear Explicit Substitutions |
ICPP
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper, a novel packet classification scheme optimized for multi-core network processors is proposed. The algorithm, Explicit Cuttings (ExpCuts), adopts a hierarchical spac...
FROCOS
2007
Springer
14 years 3 months ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
ICCAD
2000
IEEE
14 years 1 months ago
2000
IEEE
The main effort in oscillator phase noise calculation lies in computing a vector function called the Perturbation Projection Vector (PPV). Current techniques for PPV calculation u...
NHM
2010
13 years 3 months ago
2010
We study the spatially uniform case of the problem of quasistatic evolution in small strain nonassociative elastoplasticity (Cam-Clay model). Through the introdution of a viscous a...
DAC
2003
ACM
14 years 9 months ago
2003
ACM
This paper presents a novel partial assignment technique (PAT) that decides which tasks should be assigned to the same resource without explicitly defining assignment of these tas...