428 search results - page 12 / 86 » Adding Dynamic Types to C |
POPL
2010
ACM
14 years 6 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
PEWASUN
2005
ACM
14 years 2 months ago
2005
ACM
Using directional antennas in wireless ad hoc networks can significantly improve network performance. However, the deafness problem greatly limits the network performance. This pa...
IPPS
2005
IEEE
2005
IEEE
Improving Middleware Performance with AdOC: An Adaptive Online Compression Library for Data Transfer
14 years 2 months ago
In this article, we present the AdOC (Adaptive Online Compression) library. It is a user-level set of functions that enables data transmission with compression. The compression is...
ADHOC
2010
13 years 9 months ago
2010
In this paper we investigate the possibility of a new type of application, namely multiplayer games, in a Vehicular Ad Hoc Network (VANET) environment. First, we analyze the avail...
CBSE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or remov...