2752 search results - page 183 / 551 » Rounding to an Integral Program |
145
click to vote
CCS
2009
ACM
16 years 28 days ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
202
Voted
CEFP
2007
Springer
16 years 9 days ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
190
click to vote
SCCC
2005
IEEE
15 years 11 months ago
2005
IEEE
Databases may not satisfy integrity constraints (ICs) for several reasons. Nevertheless, in most of the cases an important part of the data is still consistent wrt certain desired...
165
click to vote
ECOOP
2004
Springer
15 years 11 months ago
2004
Springer
Programmers have come to expect better integration between databases and the programming languages they use. While this trend continues unabated, database concurrency scheduling ha...
141
click to vote
KES
2004
Springer
15 years 11 months ago
2004
Springer
The rapid growth of communication technologies and the invention of set-top-box (STB) and personal digital recorder (PDR) have enabled today’s television to receive and store tre...