6111 search results - page 831 / 1223 » Time, Hardware, and Uniformity |
170
click to vote
IWMM
2004
Springer
16 years 9 days ago
2004
Springer
We document the design and implementation of a “production” incremental garbage collector for GHC 6.2. It builds on our earlier work (Non-stop Haskell) that exploited GHC’s ...
164
click to vote
IWMM
2004
Springer
16 years 9 days ago
2004
Springer
Heap size has a huge impact on the performance of garbage collected applications. A heap that barely meets the application’s needs causes excessive GC overhead, while a heap tha...
166
click to vote
ACSD
2003
IEEE
16 years 7 days ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
173
click to vote
ASAP
2003
IEEE
16 years 7 days ago
2003
IEEE
The register file is a power-hungry device in modern architectures. Current research on compiler technology and computer architectures encourages the implementation of larger dev...
134
click to vote
ASYNC
2003
IEEE
16 years 7 days ago
2003
IEEE
High-speed asynchronous ripple FIFOs may be easily embedded in synchronous environments and can elegantly handle the problem of forwarding data between clock domains. In cases whe...