2623 search results - page 498 / 525 » Hoare Logic in the Abstract |
197
Voted
POPL
2005
ACM
16 years 28 days ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
205
Voted
VLDB
2005
ACM
16 years 25 days ago
2005
ACM
Abstract. In this paper we present new concurrent and recoverable B-link-tree algorithms. Unlike previous algorithms, ours maintain the balance of the B-link tree at all times, so ...
170
Voted
SIGMOD
2006
ACM
16 years 23 days ago
2006
ACM
Real-world data -- especially when generated by distributed measurement infrastructures such as sensor networks -- tends to be incomplete, imprecise, and erroneous, making it impo...
128
Voted
ICSE
2007
IEEE-ACM
16 years 21 days ago
2007
IEEE-ACM
Abstract. Control systems for electrical microgrids rely ever more on heterogeneous off-the-shelf technology for hardware, software and networking among the intelligent electronic ...
136
Voted
ICFP
2004
ACM
16 years 17 days ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...