2513 search results - page 444 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
152
click to vote
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
196
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
147
click to vote
PPOPP
2010
ACM
16 years 4 days ago
2010
ACM
To fully exploit multicore processors, applications are expected to provide a large degree of thread-level parallelism. While adequate for low core counts and their typical worklo...
160
click to vote
RTAS
2005
IEEE
15 years 11 months ago
2005
IEEE
— Denial-of-service attacks are becoming more frequent and sophisticated. Researchers have proposed a variety of defenses, including better system configurations, infrastructure...
160
click to vote
ICDM
2005
IEEE
15 years 11 months ago
2005
IEEE
Binary classification is a core data mining task. For large datasets or real-time applications, desirable classifiers are accurate, fast, and need no parameter tuning. We presen...