4401 search results - page 668 / 881 » Computing with Default Logic |
134
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
144
click to vote
ICS
2005
Tsinghua U.
15 years 10 months ago
2005
Tsinghua U.
In an out-of-order issue processor, instructions are dynamically reordered and issued to function units in their dataready order rather than their original program order to achiev...
150
click to vote
PLDI
2004
ACM
15 years 10 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
154
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
136
click to vote
DEBS
2003
ACM
15 years 9 months ago
2003
ACM
Join algorithms must be re-designed when processing stream data instead of persistently stored data. Data streams are potentially infinite and the query result is expected to be ...