1411 search results - page 229 / 283 » Interactive Coding for Interactive Proofs |
ASPDAC
2000
ACM
15 years 2 months ago
2000
ACM
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
FTDCS
1999
IEEE
15 years 2 months ago
1999
IEEE
We describe an environment for distributed computing that uses the concept of well-known paradigms. The main advantage of paradigmoriented distributed computing (PODC) is that the...
HOTOS
1999
IEEE
15 years 2 months ago
1999
IEEE
Many networked applications could benefit from executing closer to the data or services with which they interact. By doing this they may be able to circumvent long communication l...
ICPP
1999
IEEE
15 years 2 months ago
1999
IEEE
On-line transaction processing exhibits poor memory behavior in high-end multiprocessor servers because of complex sharing patterns and substantial interaction between the databas...
108
click to vote
DSOM
1999
Springer
15 years 2 months ago
1999
Springer
The backup of large data sets is preferably performed automatically outside of regular working hours. In highly structured computer networks, however, faults and exceptions may rel...