Sciweavers

41938 search results - page 7930 / 8388
» Complex Systems Modeling
Sort
View
CSFW
2005
IEEE
16 years 13 days ago
End-to-End Availability Policies and Noninterference
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
Lantian Zheng, Andrew C. Myers
DASFAA
2005
IEEE
128views Database» more  DASFAA 2005»
16 years 13 days ago
XDO2: A Deductive Object-Oriented Query Language for XML
In the past decade, researchers have combined deductive and object-oriented features to produce systems that are powerful and have excellent modeling capabilities. More recently, a...
Wei Zhang, Tok Wang Ling, Zhuo Chen, Gillian Dobbi...
DATE
2005
IEEE
159views Hardware» more  DATE 2005»
16 years 13 days ago
HEBS: Histogram Equalization for Backlight Scaling
- In this paper, a method is presented for finding a pixel transformation function that minimizes the backlight intensity while maintaining a pre-specified image distortion level f...
Ali Iranli, Hanif Fatemi, Massoud Pedram
DATE
2005
IEEE
118views Hardware» more  DATE 2005»
16 years 13 days ago
An Iterative Algorithm for Battery-Aware Task Scheduling on Portable Computing Platforms
In this work we consider battery powered portable systems which either have Field Programmable Gate Arrays (FPGA) or voltage and frequency scalable processors as their main proces...
Jawad Khan, Ranga Vemuri
ECRTS
2005
IEEE
16 years 13 days ago
Fast and Tight Response-Times for Tasks with Offsets
In previous work, we presented a tight approximate response-time analysis for tasks with offsets. While providing a tight bound on response times, the tight analysis exhibits simi...
Jukka Mäki-Turja, Mikael Nolin
« Prev « First page 7930 / 8388 Last » Next »