967 search results - page 14 / 194 » Building a Calculus of Data Structures |
JLP
2010
13 years 2 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
CAISE
2004
Springer
14 years 29 days ago
2004
Springer
Inter-company data interchange within a specific industrial sector is necessarily based on standard document formats, structures, and transmission protocols. In this perspective, t...
IPPS
2005
IEEE
2005
IEEE
Building on a Framework: Using FG for More Flexibility and Improved Performance in Parallel Programs
14 years 1 months ago
We describe new features of FG that are designed to improve performance and extend the range of computations that fit into its framework. FG (short for Framework Generator) is a ...
ASWEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Message Sequence Charts (MSCs) are a graphical language for scenarios of communicating components exchanging messages in a distributed environment. The language has been standardi...
DCC
2006
IEEE
14 years 7 months ago
2006
IEEE
Abstract. We propose measures for compressed data structures, in which space usage is measured in a data-aware manner. In particular, we consider the fundamental dictionary problem...