Sciweavers

3934 search results - page 365 / 787
» Approximate Schedulability Analysis
Sort
View
EMSOFT
2004
Springer
16 years 4 days ago
A typed assembly language for real-time programs
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
Thomas A. Henzinger, Christoph M. Kirsch
POPL
1998
ACM
15 years 11 months ago
Secure Information Flow in a Multi-Threaded Imperative Language
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
Geoffrey Smith, Dennis M. Volpano
JSSPP
1997
Springer
15 years 11 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
FOCS
1995
IEEE
15 years 10 months ago
Tracking the Best Disjunction
Abstract. Littlestone developed a simple deterministic on-line learning algorithm for learning k-literal disjunctions. This algorithm (called Winnow) keeps one weight for each of t...
Peter Auer, Manfred K. Warmuth
ICMCS
2010
IEEE
139views Multimedia» more  ICMCS 2010»
15 years 7 months ago
LyDAR: A LYrics Density based Approach to non-homogeneous music Resizing
In many scenarios, such as TV/radio advertising production, animation production, and presentation, music pieces are constrained in the metric of time. For example, an editor want...
Zhang Liu, Chaokun Wang, Lu Guo, Yiyuan Bai, Jianm...