4245 search results - page 705 / 849 » Input Modeling |
179
click to vote
DBPL
2007
Springer
16 years 18 days ago
2007
Springer
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
176
click to vote
MLMI
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. This paper proposes an analysis technique for wide-band audio applications based on the predictability of the temporal evolution of Quadrature Mirror Filter (QMF) sub-ban...
146
click to vote
OOPSLA
2007
Springer
16 years 16 days ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
152
click to vote
CLUSTER
2006
IEEE
16 years 14 days ago
2006
IEEE
The increase in the use of parallel distributed architectures in order to solve large-scale scientific problems has generated the need for performance prediction for both determi...
183
click to vote
CODES
2006
IEEE
16 years 14 days ago
2006
IEEE
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...