7535 search results - page 6 / 1507 » A Type System for CHR |
CORR
2009
Springer
15 years 1 months ago
2009
Springer
170
Voted
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
160
Voted
CCS
2011
ACM
14 years 3 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
176
click to vote
HAIS
2011
Springer
14 years 7 months ago
2011
Springer
The modelling of real-world complex systems is an area of ongoing interest for the research community. Real-world systems present a variety of challenges not least of which is the ...
233
Voted
ISSTA
2012
ACM
13 years 5 months ago
2012
ACM
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...