2035 search results - page 387 / 407 » Working memory |
114
click to vote
ESEC
1999
Springer
15 years 6 months ago
1999
Springer
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...
107
click to vote
OOPSLA
1999
Springer
15 years 6 months ago
1999
Springer
Modern generational garbage collectors look for garbage among the young objects, because they have high mortality; however, these objects include the very youngest objects, which ...
134
click to vote
PEPM
1999
ACM
15 years 6 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
171
Voted
CAV
1998
Springer
15 years 6 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
124
click to vote
FCCM
1997
IEEE
15 years 6 months ago
1997
IEEE
We propose an FPGA chip architecture based on a conventional FPGA logic array core, in which I/O pins are clocked at a much higher rate than that of the logic array that they serv...