3573 search results - page 619 / 715 » Reasoning about Codata |
169
click to vote
POPL
2010
ACM
16 years 18 days ago
2010
ACM
We introduce higher-order, multi-parameter, tree transducers (HMTTs, for short), which are kinds of higher-order tree transducers that take input trees and output a (possibly infi...
147
click to vote
PPOPP
2010
ACM
16 years 14 days ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
115
click to vote
ICDE
2010
IEEE
16 years 13 days ago
2010
IEEE
— Multi-criteria decision support (MCDS) is crucial in many business and web applications such as web searches, B2B portals and on-line commerce. Such MCDS applications need to r...
128
click to vote
ICCAD
2002
IEEE
16 years 3 days ago
2002
IEEE
— One of the bottlenecks in the recent movement of hardware synthesis from behavioral C programs is the difficulty in reasoning about runtime pointer values at compile time. The...
139
click to vote
SOSP
2005
ACM
16 years 3 days ago
2005
ACM
This paper describes a general approach to constructing cooperative services that span multiple administrative domains. In such environments, protocols must tolerate both Byzantin...