13004 search results - page 2526 / 2601 » Mining Software Data |
141
Voted
RV
2010
Springer
15 years 1 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
146
click to vote
SCP
2010
15 years 1 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
187
click to vote
SEUS
2010
IEEE
15 years 1 months ago
2010
IEEE
NAND flash memory is one of the non-volatile memories and has been replacing hard disk in various storage markets from mobile devices, PC/Laptop computers, even to enterprise serv...
132
click to vote
BC
2010
15 years 24 days ago
2010
We have previously tried to explain perceptual inference and learning under a free-energy principle that pursues Helmholtz's agenda to understand the brain in terms of energy ...
116
click to vote
BIRTHDAY
2010
Springer
15 years 24 days ago
2010
Springer
Yuri Gurevich made many varied and deep contributions to logic for computer science. Logic provides also the theoretical foundation of database systems. Hence, it is almost unavoid...