5510 search results - page 262 / 1102 » Mathematics |
127
click to vote
DELTA
2010
IEEE
15 years 11 months ago
2010
IEEE
—In this paper we present a new model for characterization of probabilistic gates. While still not mainstream, probabilistic CMOS has the potential to dramatically reduce energy ...
119
click to vote
ISSS
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper proposes an original model of the execution time of assembly instructions in superscalar architectures. The approach is based on a rigorous mathematical model and provi...
200
Voted
RTSS
2002
IEEE
15 years 10 months ago
2002
IEEE
When executing soft real-time tasks in a shared processor, it is important to properly allocate the computational resources such that the quality of service requirements of each t...
176
click to vote
MPC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. It is natural to present subtyping for recursive types coinductively. However, Gapeyev, Levin and Pierce have noted that there is a problem with coinductive definitions ...
141
click to vote
MPC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Folds and unfolds are at the heart of the algebra of programming. They allow the cognoscenti to derive and manipulate programs rigorously and effectively. Fundamental la...