6829 search results - page 1002 / 1366 » Quantitative Generalizations of Languages |
166
click to vote
MM
2006
ACM
16 years 24 days ago
2006
ACM
Expressing and analysing data dependency in multimedia streams is promising, since content-aware policies at a transport level would benefit from such services. In this paper we ...
210
Voted
SCESM
2006
ACM
16 years 24 days ago
2006
ACM
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
225
click to vote
VEE
2006
ACM
16 years 23 days ago
2006
ACM
Software Dynamic Translation (SDT) systems have been used for program instrumentation, dynamic optimization, security policy enforcement, intrusion detection, and many other uses....
173
click to vote
PLDI
2005
ACM
16 years 12 days ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
189
click to vote
PLDI
2005
ACM
16 years 12 days 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...