6381 search results - page 54 / 1277 » Alternative Implementation of the C |
108
Voted
SIGPLAN
1998
15 years 3 months ago
1998
A high performance implementation of C++ exception handling is crucial, because exception handling overhead is distributed across all code. The commonly-used table-driven approach...
108
Voted
CADE
2008
Springer
16 years 4 months ago
2008
Springer
We present a tool for automatic generation of packed bitfields and tagged unions for systems-level C, along with automatic, machine checked refinement proofs in Isabelle/HOL. Our a...
109
Voted
HPCC
2009
Springer
15 years 8 months ago
2009
Springer
—In this paper we present C2Cfs - a decentralized collective caching architecture for distributed filesystems. C2Cfs diverges from the traditional client-server model and advoca...
151
Voted
CC
2005
Springer
15 years 5 months ago
2005
Springer
Various techniques for the navigation and matching of data structures using path expressions have been the subject of extensive investigations. No matter whether such techniques ar...
117
Voted
FCCM
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper provides an evaluation of SGI® RASC™ RC100 technology from a computational science software developer’s perspective. A brute force implementation of a two-point an...