2604 search results - page 402 / 521 » General constant expressions for system programming language... |
162
Voted
HASKELL
2007
ACM
15 years 8 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
138
click to vote
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...
216
Voted
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
Pattern matching over event streams is increasingly being employed in many areas including financial services, RFIDbased inventory management, click stream analysis, and electroni...
122
click to vote
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
129
click to vote
CCS
2009
ACM
16 years 4 months ago
2009
ACM
This paper proposes a D-algebra to compose decisions from multiple access control policies. Compared to other algebrabased approaches aimed at policy composition, D-algebra is the...