Sciweavers

9006 search results - page 1358 / 1802
» Modeling Software
Sort
View
185
Voted
PEPM
2007
ACM
16 years 16 days ago
Lowering: a static optimization technique for transparent functional reactivity
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
Kimberley Burchett, Gregory H. Cooper, Shriram Kri...
SERA
2007
Springer
16 years 16 days ago
Runtime Support for Advanced Component Concepts
Component-based development has become a recognized technique for building large scale distributed applications. Although the maturity of this technique, there appears to be quite...
Tomás Bures, Petr Hnetynka, Frantisek Plasi...
AUIC
2006
IEEE
16 years 14 days ago
A markerless registration method for augmented reality based on affine properties
This paper presents a markerless registration approach for Augmented Reality (AR) systems based on the Kanade-Lucas-Tomasi (KLT) natural feature tracker and the affine reconstruct...
Y. Pang, M. L. Yuan, Andrew Y. C. Nee, Soh-Khim On...
AUIC
2006
IEEE
16 years 14 days ago
User interface layout with ordinal and linear constraints
User interfaces as well as documents use tabular layout mechanisms. The HTML table construct and the GridBag layout in Java are typical examples. There are, however, shortcomings ...
Christof Lutteroth, Gerald Weber
CODES
2006
IEEE
16 years 14 days ago
A formal approach to robustness maximization of complex heterogeneous embedded systems
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
Arne Hamann, Razvan Racu, Rolf Ernst
« Prev « First page 1358 / 1802 Last » Next »