Sciweavers

2106 search results - page 30 / 422
» Specifying C concepts
Sort
View
CC
2008
Springer
123views System Software» more  CC 2008»
14 years 11 months ago
Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts
Portable low-level C programs must often support multiple equivalent in-memory layouts of data, due to the byte or bit order of the compiler, architecture, or external data formats...
Marius Nita, Dan Grossman
MEMOCODE
2003
IEEE
15 years 3 months ago
Bridging CSP and C++ with Selective Formalism and Executable Specifications
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
William B. Gardner
DAGSTUHL
2006
14 years 11 months ago
A Proposal to add Interval Arithmetic to the C++ Standard Library
Proposed text to specify an interval class in the C++ standard library, with justification and background. Contents I Motivation and Scope 3 II Foundations 3 IIIImpact on the Stan...
Sylvain Pion, Hervé Brönnimann, Guilla...
87
Voted
ICAI
2003
14 years 11 months ago
Collaborative Agents for C2 Teamwork Simulation
– Existing team training software often requires that trainees be organized as physical teams and the members of the same team be trained at the same time. To demonstrate that te...
Dianxiang Xu, Michael S. Miller, Richard A. Volz, ...
70
Voted
DAC
2005
ACM
15 years 10 months ago
Approximate VCCs: a new characterization of multimedia workloads for system-level MpSoC design
System-level design methods specifically targeted towards multimedia applications have recently received a lot of attention. Multimedia workloads are known to have a high degree o...
Yanhong Liu, Samarjit Chakraborty, Wei Tsang Ooi