16091 search results - page 300 / 3219 » Solving |
177
click to vote
DATE
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
178
click to vote
CSCLP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The union-find algorithm can be seen as solving simple equations between variables or constants. With a few lines of code change, we generalise its implementation in CHR...
142
click to vote
ISVC
2007
Springer
16 years 23 days ago
2007
Springer
We formulate decomposition of two-dimensional shapes as a combinatorial optimization problem and present a dynamic programming algorithm that solves it.
187
click to vote
RTSS
2006
IEEE
16 years 18 days ago
2006
IEEE
The elastic task model proposed by Buttazzo, et. al. [9] is a powerful model for adapting real-time systems in the presence of uncertainty. This paper generalizes the existing ela...
171
click to vote
HICSS
2005
IEEE
16 years 6 days ago
2005
IEEE
Because today’s workforce is highly mobile, small wireless devices are being used to support mobile work collaboration. However, do computer platform differences affect such col...