18 search results - page 4 / 4 » Call Forwarding: A Simple Interprocedural Optimization Techn... |
SP
2010
IEEE
13 years 3 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
ICALP
2009
Springer
14 years 16 days ago
2009
Springer
Speed scaling is a power management technique that involves dynamically changing the speed of a processor. This gives rise to dualobjective scheduling problems, where the operating...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
The practical realization of managing and executing large scale scientific computations efficiently and reliably is quite challenging. Scientific computations often invo...