6960 search results - page 195 / 1392 » Continuity Analysis of Programs |
150
Voted
IPCO
2010
15 years 1 months ago
2010
We present a branch-and-bound algorithm for minimizing a convex quadratic objective function over integer variables subject to convex constraints. In a given node of the enumerati...
133
Voted
DAC
1995
ACM
15 years 7 months ago
1995
ACM
—Embedded computer systems are characterized by the presence of a processor running application-specific dedicated software. A large number of these systems must satisfy real-ti...
132
Voted
ECOOP
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Inheritance is one of the key concepts in object-oriented programming. However, the usefulness of inheritance in concurrent objectoriented programming is greatly reduced ...
111
Voted
RAID
2005
Springer
15 years 9 months ago
2005
Springer
We perform host-based intrusion detection by constructing a model from a program’s binary code and then restricting the program’s execution by the model. We improve the effecti...
105
Voted
ECRTS
2005
IEEE
15 years 9 months ago
2005
IEEE
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...