4820 search results - page 498 / 964 » Implementing Signatures for C |
162
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
We present an efficient implementation of an approximate balanced truncation model reduction technique for general large-scale RLC systems, described by a statespace model where t...
183
click to vote
HPCA
2006
IEEE
16 years 6 months ago
2006
IEEE
Parallel I/O plays a crucial role for most data-intensive applications running on massively parallel systems like Blue Gene/L that provides the promise of delivering enormous comp...
147
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
Many applications require users to specify preferences. We support users in this task by letting them define preferences relative to their personal history or that of other users....
277
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
257
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
User written transaction code is responsible for the "C" in ACID transactions, i.e., taking the database from one consistent state to the next. However, user transaction...