Sciweavers

10575 search results - page 202 / 2115
» Programming Languages
Sort
View
ECOOP
2009
Springer
16 years 3 months ago
Adding State and Visibility Control to Traits Using Lexical Nesting
Tom Van Cutsem, Alexandre Bergel, Stéphane ...
ASPLOS
2009
ACM
16 years 3 months ago
Architecture-aware optimization targeting multithreaded stream computing
Byunghyun Jang, Synho Do, Homer H. Pien, David R. ...
POPL
2008
ACM
16 years 2 months ago
Lifting abstract interpreters to quantified logical domains
Sumit Gulwani, Bill McCloskey, Ashish Tiwari
POPL
2007
ACM
16 years 2 months ago
A semantics-based approach to malware detection
Mila Dalla Preda, Mihai Christodorescu, Somesh Jha...
POPL
2006
ACM
16 years 2 months ago
N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems
Albert Cohen, Marc Duranton, Christine Eisenbeis, ...