1992 search results - page 356 / 399 » Memory modeling for system synthesis |
PKDD
2005
Springer
15 years 3 months ago
2005
Springer
Location-awareness and prediction of future locations is an important problem in pervasive and mobile computing. In cellular systems (e.g., GSM) the serving cell is easily availabl...
TLCA
2005
Springer
15 years 3 months ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
Numerical methods for solving the systems of partial differential equations arising in geophysical fluid dynamics rely on a variety of spatial discretization schemes (e.g. finit...
VLDB
2001
ACM
15 years 2 months ago
2001
ACM
Relational database systems have traditionally optimzed for I/O performance and organized records sequentially on disk pages using the N-ary Storage Model (NSM) (a.k.a., slotted p...
PODC
1994
ACM
15 years 2 months ago
1994
ACM
In this paper, we investigate the practical performance of lock-free techniques that provide synchronization on shared-memory multiprocessors. Our goal is to provide a technique t...