7124 search results - page 1234 / 1425 » Programming Languages and Operating Systems |
131
click to vote
ENTCS
2006
15 years 2 months ago
2006
We present a Standard ML library for writing programs that automatically adjust to changes to their data. The library combines modifiable references and memoization to achieve eff...
110
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
Many embedded systems use a simple pipelined RISC processor for computation and an on-chip SRAM for data storage. We present an enhancement called Intelligent SRAM (ISRAM) that co...
105
Voted
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
109
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Many large-scale production applications often have very long executions times and require periodic data checkpoints in order to save the state of the computation for program rest...
106
Voted
SAMOS
2004
Springer
15 years 8 months ago
2004
Springer
— Architectural resources and program recurrences are the main limitations to the amount of Instruction-Level Parallelism (ILP) exploitable from loops, the most time-consuming pa...