Sciweavers

5180 search results - page 216 / 1036
» Concurrency, Time, and Constraints
Sort
View
CORR
2010
Springer
151views Education» more  CORR 2010»
15 years 3 months ago
Selective Call Out and Real Time Bidding
Display ads on the Internet are increasingly sold via ad exchanges such as RightMedia, AdECN and Doubleclick Ad Exchange. These exchanges allow real-time bidding, that is, each ti...
Tanmoy Chakraborty, Eyal Even-Dar, Sudipto Guha, Y...
CP
1998
Springer
15 years 11 months ago
Error-Correcting Source Code
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...
Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho
ECOOP
1993
Springer
15 years 10 months ago
A Language Framework for Multi-Object Coordination
Abstract. We have developed language support for the expression of multiobject coordination. In our language, coordination patterns can be speci ed abstractly, independent of the p...
Svend Frølund, Gul Agha
NETWORKING
2004
15 years 8 months ago
Integrating (m, k)-Firm Real-Time Guarantees into the Internet QoS Model
Having in mind that real-time streams tolerate some deadline misses according to (m,k)-firm constraints [1], this paper presents a solution that consists in integrating (m,k)-firm ...
Anis Koubaa, Yeqiong Song, Jean-Pierre Thomesse
SIAMCO
2008
83views more  SIAMCO 2008»
15 years 6 months ago
Necessary Conditions for Multiobjective Optimal Control Problems with Free End-Time
Abstract. Necessary conditions of optimality are derived for multiobjective optimal control problems with free end-time, in which the dynamics constraint is modeled as a nonconvex ...
B. T. Kien, N.-C. Wong, J. C. Yao