7 search results - page 2 / 2 » acta 2010 |
152
Voted
ACTA
2010
15 years 3 months ago
2010
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
124
Voted
ACTA
2010
14 years 10 months ago
2010
The paging algorithm Least Recently Used Second Last Request (LRU-2) was proposed for use in database disk buffering and shown experimentally to perform better than Least Recently ...