4263 search results - page 615 / 853 » Learning without Coding |
118
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
121
click to vote
EUROSYS
2008
ACM
15 years 11 months ago
2008
ACM
Eudaemon is a technique that aims to blur the borders between protected and unprotected applications, and brings together honeypot technology and end-user intrusion detection and ...
106
click to vote
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
Aggressive technology scaling provides designers with an ever increasing budget of cheaper and faster transistors. Unfortunately, this trend is accompanied by a decline in individ...
128
Voted
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
With the right techniques, multicore architectures may be able to continue the exponential performance trend that elevated the performance of applications of all types for decades...
153
Voted
SAC
2010
ACM
15 years 9 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...