1090 search results - page 200 / 218 » Type-Directed Partial Evaluation |
AOSD
2005
ACM
14 years 1 months ago
2005
ACM
C applications, in particular those using operating system level services, frequently comprise multiple crosscutting concerns: network protocols and security are typical examples ...
PLDI
2005
ACM
14 years 1 months ago
2005
ACM
This paper describes Automatic Pool Allocation, a transformation framework that segregates distinct instances of heap-based data structures into seperate memory pools and allows h...
WOSP
2005
ACM
14 years 1 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
Human-memorable passwords are a mainstay of computer security. To decrease vulnerability of passwords to bruteforce dictionary attacks, many organizations enforce complicated pass...
CIKM
2005
Springer
14 years 1 months ago
2005
Springer
We present an adaptive load shedding approach for windowed stream joins. In contrast to the conventional approach of dropping tuples from the input streams, we explore the concept...