1536 search results - page 181 / 308 » The Underlying Logic of Hoare Logic |
159
click to vote
ESA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Possibly the most famous algorithmic meta-theorem is Courcelle's theorem, which states that all MSO-expressible graph properties are decidable in linear time for gra...
178
click to vote
DAIS
2009
15 years 7 months ago
2009
Abstract. Our work focuses on distributed software services and their requirements in terms of system performance and dependability. We target the problem of finding optimal deploy...
153
click to vote
FSKD
2008
Springer
15 years 7 months ago
2008
Springer
The demand for outsourcing in the information systems (IS) field has become a part of basic corporate strategy and has experienced a considerable growth in recent years. The proce...
166
click to vote
ISLPED
2010
ACM
15 years 6 months ago
2010
ACM
Booth encoding is believed to yield faster multiplier designs with higher energy consumption. 16x16-bit Booth and NonBooth multipliers are analyzed in energy and delay space under...
167
click to vote
DEBU
2008
15 years 6 months ago
2008
In this paper, we describe our experiences in building and evolving an XQuery engine with a focus on data and service federation use cases. The engine that we discuss is a core co...