1589 search results - page 178 / 318 » Constraints with Variables' Annotations |
143
click to vote
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The problem of maintaining the crankshaft speed of an automotive engine within a given set interval (idle speed control), is formalized as a constrained control problem u...
169
click to vote
RISE
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
158
click to vote
AVSS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we explore the use of Priority-progress streaming (PPS) for live video streaming applications with tight latency constraints. PPS is a technique for the delivery of ...
147
click to vote
SCAM
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents and evaluates a number of techniques to improve the execution time of interprocedural pointer analysis in the context of large C programs. The analysis is form...
177
click to vote
ISKI
1992
15 years 10 months ago
1992
One of the objectives of ooDBMSs is to use type-speci c methods for manipulating objects, in order to maintain the consistency of the database. This is, however, little help for t...