3256 search results - page 627 / 652 » Applications of Formal Methods to System Design and Verifica... |
DAMON
2009
Springer
15 years 4 months ago
2009
Springer
Flash solid state drives (SSDs) provide an attractive alternative to traditional magnetic hard disk drives (HDDs) for DBMS applications. Naturally there is substantial interest in...
85
Voted
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
— Several recently-designed robots are able to scale steep surfaces using animal-inspired strategies for foot attachment and leg kinematics. These designs could be valuable for r...
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
Research in multi-agent systems has led to the development of many multi-agent control architectures. However, we believe that there is currently no known optimal structure for mu...
PVLDB
2010
14 years 8 months ago
2010
Large-scale data analysis has become increasingly important for many enterprises. Recently, a new distributed computing paradigm, called MapReduce, and its open source implementat...
WWW
2002
ACM
15 years 10 months ago
2002
ACM
Table is a commonly used presentation scheme, especially for describing relational information. However, table understanding remains an open problem. In this paper, we consider th...