Sciweavers

2128 search results - page 299 / 426
» A general characterization of indulgence
Sort
View
JSSPP
1997
Springer
14 years 2 months ago
Memory Usage in the LANL CM-5 Workload
It is generally agreed that memory requirements should be taken into account in the scheduling of parallel jobs. However, so far the work on combined processor and memory schedulin...
Dror G. Feitelson
SAS
1994
Springer
136views Formal Methods» more  SAS 1994»
14 years 2 months ago
Constraint-Based Type Inference and Parametric Polymorphism
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...
Ole Agesen
SIGCOMM
1994
ACM
14 years 2 months ago
An Algorithm for Lossless Smoothing of MPEG Video
Interframe compression techniques, such as those used in MPEG video, give rise to a coded bit stream where picture sizes di er by a factor of 10 or more. As a result, bu ering is ...
Simon S. Lam, Simon Chow, David K. Y. Yau
ACMSE
1990
ACM
14 years 2 months ago
Computerizing a machine readable dictionary
Current research in natural language processing is characterized by the development of theories of grammar which strongly depend on the lexicon to drive parsing systems (e.g. Lexi...
Jan G. Wilms
SPAA
1990
ACM
14 years 2 months ago
Wait-Free Data Structures in the Asynchronous PRAM Model
A wad-free implementation of a data object in shared memory is one that guarantees that any process can complete any operation in a finite number of steps, regardless of the execu...
James Aspnes, Maurice Herlihy