589 search results - page 12 / 118 » Introducing Dynamic Constraints in B |
SIAMCO
2008
14 years 11 months ago
2008
We introduce a new class of control problems in which the gain depends on the solution of a stochastic differential equation reflected at the boundary of a bounded domain, along d...
CHI
2002
ACM
16 years 22 hour ago
2002
ACM
This paper introduces a technique for viewing text objects under changing size constraints in 2D environments. Our approach automatically combines font size reduction and content ...
PTS
2010
14 years 10 months ago
2010
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
88
Voted
DAC
1995
ACM
15 years 3 months ago
1995
ACM
- We introduce a transformation, named rephasing, that manipulates the timing parameters in control-dataflow graphs. Traditionally high-level synthesis systems for DSP have either ...
81
Voted
IPPS
1998
IEEE
15 years 3 months ago
1998
IEEE
The paper introduces a mechanism to implement distributed scheduling for CAN-bus resource in order to meet the requirements of a dynamic distributed real-time system. The key issu...