2468 search results - page 137 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
145
Voted
ISCA
2010
IEEE
15 years 8 months ago
2010
IEEE
Phase change memory (PCM) is an emerging memory technology for future computing systems. Compared to other non-volatile memory alternatives, PCM is more matured to production, and...
146
Voted
NIPS
2007
15 years 5 months ago
2007
We propose a novel method for linear dimensionality reduction of manifold modeled data. First, we show that with a small number M of random projections of sample points in RN belo...
114
click to vote
IJBC
2007
15 years 3 months ago
2007
In 1873 Francis Galton had constructed a simple mechanical device where a ball is dropped vertically through a harrow of pins that deflect the ball sideways as it falls. Galton c...
124
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
132
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...