6456 search results - page 353 / 1292 » Constraint Solving on Terms |
157
click to vote
SCAM
2003
IEEE
16 years 1 days 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...
171
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper is concerned with understanding the connection between the existing Internet congestion control algorithms and the optimal control theory. The available resource all...
252
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
—To deal with the estimation problem for systems subject to constraints while the corresponding noise processes are not completely known, the adaptive constraint-filtering method...
230
click to vote
EPIA
1999
Springer
15 years 11 months ago
1999
Springer
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine high-level algebraic and set notation...
178
click to vote
FPGA
1999
ACM
15 years 11 months ago
1999
ACM
This paper presents the emulation of an embedded system with hard real time constraints and response times of about 220µs. We show that for such fast reactive systems, the softwa...