13004 search results - page 2164 / 2601 » Mining Software Data |
170
Voted
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
160
click to vote
PASTE
1998
ACM
15 years 11 months ago
1998
ACM
The task of mappingbetween source programs and machine code, once the code has been optimizedand transformed by a compiler is often di cult. Yet there are many instances, such as ...
156
Voted
PODC
1998
ACM
15 years 11 months ago
1998
ACM
We present an algorithm for modifying delta compressed files so that the compressed versions may be reconstructed without scratch space. This allows network clients with limited ...
184
click to vote
HIPS
1997
IEEE
15 years 11 months ago
1997
IEEE
Several parallel programming languages, libraries and environments have been developed to ease the task of writing programs for multiprocessors. Proponents of each approach often ...
207
click to vote
HOTOS
1997
IEEE
15 years 11 months ago
1997
IEEE
We are building an operating system in which an integral run-time code generator constantly strives to improve the quality of already executing code. Our system is based on a plat...