4451 search results - page 229 / 891 » Continuous model synthesis |
187
click to vote
ICDE
2006
IEEE
16 years 18 days ago
2006
IEEE
The window query model is widely used in data stream management systems where the focus of a continuous query is limited to a set of the most recent tuples. In this dissertation, ...
206
click to vote
HCI
2009
15 years 4 months ago
2009
As the demand for domain- and formalism-specific visual modelling environments grows, the need to rapidly construct complex User Interfaces (UIs) increases. In this paper, we propo...
181
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
140
click to vote
SAMOS
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a novel micro-architecture for high-performance and low-power DSPs. The underlying Synchronous Transfer Architecture (STA) fills the gap between SIMD-DSPs and ...
162
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
We present an approach to process scheduling for synthesis of safety-critical distributed embedded systems. Our system model captures both the flow of data and that of control. Th...