130 search results - page 10 / 26 » Finding and Certifying Loops |
WCET
2010
13 years 5 months ago
2010
Calculating the worst-case execution time (WCET) of real-time tasks is still a tedious job. Programmers are required to provide additional information on the program flow, analyzi...
TOIT
2008
13 years 7 months ago
2008
In spite of the use of standard web security measures (SSL/TLS), users enter sensitive information such as passwords into scam web sites. Such scam sites cause substantial damages...
COR
2010
13 years 6 months ago
2010
We consider the context of decision support for schedule modification after the computation off-line of a predictive optimal (or near optimal) schedule. The purpose of this work i...
CCE
2005
13 years 7 months ago
2005
Optimal control problems in batch distillation involve finding a trajectory for the reflux ratio so as to maximize a performance index. Then the controller is asked to follow this...
ASPLOS
1994
ACM
13 years 11 months ago
1994
ACM
In the past decade, processor speed has become significantly faster than memory speed. Small, fast cache memories are designed to overcome this discrepancy, but they are only effe...