722 search results - page 106 / 145 » Organizational Abstractions for the Analysis and Design of M... |
PASTE
2004
ACM
14 years 1 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
AGTIVE
1999
Springer
14 years 4 days ago
1999
Springer
Abstract. In the paper Support for Design Patterns through Graph Transformation Tools in this volume, we have already outlined the global structure of a tool that allows for the an...
SACRYPT
1998
Springer
14 years 1 days ago
1998
Springer
Abstract. RC4, a stream cipher designed by Rivest for RSA Data Security Inc., has found several commercial applications, but little public analysis has been done to date. In this p...
COMCOM
2004
13 years 7 months ago
2004
Abstract-- This paper investigates the TCP dynamics and performance over proxies that shorten the TCP feedback loop by segmenting the end-to-end connection. Such proxies are often ...
PEPM
2007
ACM
14 years 1 months ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...