747 search results - page 123 / 150 » Toward a software development methodology for anonymity appl... |
119
click to vote
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
94
Voted
IPPS
2008
IEEE
15 years 6 months ago
2008
IEEE
We present an auto-tuning approach to optimize application performance on emerging multicore architectures. The methodology extends the idea of searchbased performance optimizatio...
ICSE
2003
IEEE-ACM
15 years 5 months ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
KDD
2004
ACM
16 years 5 days ago
2004
ACM
In this paper, we describe the development of a fielded application for detecting malicious executables in the wild. We gathered 1971 benign and 1651 malicious executables and enc...
109
click to vote
ARC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The novel design of high-speed and low-energy FPGA routing architecture consisting of appropriate wire segments and multiple Switch Boxes is introduced. For that purpose,...