Sciweavers

11168 search results - page 327 / 2234
» Abstract State Processes
Sort
View
STACS
2009
Springer
15 years 11 months ago
Lower Bounds for Multi-Pass Processing of Multiple Data Streams
ABSTRACT. This paper gives a brief overview of computation models for data stream processing, and it introduces a new model for multi-pass processing of multiple streams, the so-ca...
Nicole Schweikardt
VISUAL
1999
Springer
15 years 11 months ago
Query Processing and Optimization for Pictorial Query Trees
Abstract. Methods for processing of pictorial queries speci ed by pictorial query trees are presented. Leaves of a pictorial query tree correspond to individual pictorial queries w...
Aya Soffer, Hanan Samet
FSTTCS
1998
Springer
15 years 11 months ago
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
Jean-Pierre Talpin, David Nowak
BPM
2009
Springer
163views Business» more  BPM 2009»
15 years 11 months ago
Declarative versus Imperative Process Modeling Languages: The Issue of Maintainability
Abstract. The rise of interest in declarative languages for process modeling both justifies and demands empirical investigations into their presumed advantages over more traditiona...
Dirk Fahland, Jan Mendling, Hajo A. Reijers, Barba...
ARC
2006
Springer
88views Hardware» more  ARC 2006»
15 years 11 months ago
Integrating Custom Instruction Specifications into C Development Processes
Abstract. We describe a new approach for creating hardware description language (HDL) specifications for custom instructions, to form part of the instruction-set architecture (ISA)...
Jack Whitham, Neil C. Audsley