882 search results - page 169 / 177 » A Taste of Rewrite Systems |
89
Voted
HPDC
1999
IEEE
15 years 4 months ago
1999
IEEE
Process checkpointing is a basic mechanism required for providing High Throughput Computing service on distributively owned resources. We present a new process checkpoint and migr...
121
click to vote
KBSE
2000
IEEE
15 years 4 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
105
Voted
ASPLOS
2008
ACM
15 years 2 months ago
2008
ACM
Device drivers commonly execute in the kernel to achieve high performance and easy access to kernel services. However, this comes at the price of decreased reliability and increas...
129
Voted
FMSB
2008
15 years 2 months ago
2008
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
100
click to vote
DYNAMO
2000
15 years 1 months ago
2000
Many binary tools, such as disassemblers, dynamiccode generation systems, and executable code rewriters, need to understand how machine instructions are encoded. Unfortunately, sp...