9325 search results - page 1421 / 1865 » The decentralized implementability problem |
202
click to vote
SAS
1994
Springer
15 years 11 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
207
click to vote
PEPM
1992
ACM
15 years 11 months ago
1992
ACM
A partial evaluator is an automatic program transformation tool. Given as input a general program and part of its input, it can produce a specialized version. If the partial evalu...
231
Voted
RTSS
1992
IEEE
15 years 11 months ago
1992
IEEE
The problem of scheduling a set of sporadic tasks that share a set of serially reusable, single unit software resources on a single processor is considered. The correctness condit...
124
click to vote
PLDI
1990
ACM
15 years 11 months ago
1990
ACM
Languages such as Scheme and Smalltalk that provide continuations as first-class data objects present a challenge to efficient implementation. Allocating activation records in a h...
196
click to vote
VLDB
1990
ACM
15 years 11 months ago
1990
ACM
Disk arrays (RAID) have been proposed as a possible approach to solving the emerging I/O bottleneck problem. The performance of a RAID system when all disks are operational and th...