40 search results - page 7 / 8 » Separation Logic for Higher-Order Store |
MOBICOM
2009
ACM
14 years 5 months ago
2009
ACM
A growing number of mobile computing applications are centered around the user’s location. The notion of location is broad, ranging from physical coordinates (latitude/longitude...
ICS
2001
Tsinghua U.
14 years 3 months ago
2001
Tsinghua U.
A large logical register file is important to allow effective compiler transformations or to provide a windowed space of registers to allow fast function calls. Unfortunately, a l...
SAINT
2009
IEEE
2009
IEEE
CCDM: Central Controller-Based Device Management Architecture and Method to Split Management Scripts
14 years 5 months ago
This paper presents CCDM, a new architecture for management of devices, which collect environmental information and give effects to the environment. CCDM provides easy management ...
ICECCS
2007
IEEE
14 years 2 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
ADBIS
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. One of the areas of data integration covers systems that maintain coherence among a heterogeneous set of databases. Such a system repeatedly collects data from the local ...