5376 search results - page 314 / 1076 » Scalable Kernel Systems |
163
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract We investigate here a new version of the Calculus of Inductive Constructions (CIC) on which the proof assistant Coq is based: the Calculus of Congruent Inductive Construct...
119
click to vote
JNS
2008
15 years 6 months ago
2008
We describe a basic framework for studying dynamic scaling that has roots in dynamical systems and probability theory. Within this framework, we study Smoluchowski's coagulat...
226
click to vote
CGA
2005
15 years 6 months ago
2005
A novel Monte Carlo noise reduction operator is proposed in this paper. We apply and extend the standard bilateral filtering method and build a new local adaptive noise reduction k...
232
click to vote
ICSM
2000
IEEE
15 years 11 months ago
2000
IEEE
Most studies of software evolution have been performed on systems developed within a single company using traditional management techniques. With the widespread availability of se...
154
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
Several approaches for scalable interest management (IM) within real-time distributed virtual environments (DVEs) have been proposed based upon some division of the data-space in ...