1799 search results - page 350 / 360 » The Logic of Correctness in Software Engineering |
PPOPP
2012
ACM
12 years 3 months ago
2012
ACM
We introduce the first binary search tree algorithm designed for speculative executions. Prior to this work, tree structures were mainly designed for their pessimistic (non-specu...
ISORC
2003
IEEE
14 years 20 days ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...
GI
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. This text describes how persistent object system technology developed in European basic research is being used by a small German startup software company to realize innov...
INTERACTION
2009
ACM
14 years 1 months ago
2009
ACM
DTD and its instance have been considered the standard for data representation and information exchange format on the current web. However, when coming to the next generation of w...
POPL
2006
ACM
14 years 7 months ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...