Sciweavers

1528 search results - page 176 / 306
» Semantic Compliance Management in Business Process Managemen...
Sort
View
ICCAD
1998
IEEE
95views Hardware» more  ICCAD 1998»
15 years 10 months ago
Control generation for embedded systems based on composition of modal processes
In traditional distributed embedded system designs, control information is often replicated across several processes and kept coherent by application-specific mechanisms. Conseque...
Pai H. Chou, Ken Hines, Kurt Partridge, Gaetano Bo...
DOLAP
2004
ACM
15 years 11 months ago
Evaluating XML-extended OLAP queries based on a physical algebra
In today’s OLAP systems, integrating fast changing data, e.g., stock quotes, physically into a cube is complex and time-consuming. The widespread use of XML makes it very possib...
Xuepeng Yin, Torben Bach Pedersen
FCCM
2008
IEEE
133views VLSI» more  FCCM 2008»
15 years 8 months ago
Runtime Filesystem Support for Reconfigurable FPGA Hardware Processes in BORPH
This paper presents the design of BORPH's file system layer for FPGA-based reconfigurable computers. BORPH provides user FPGA designs that execute as hardware processes acces...
Hayden Kwok-Hay So, Robert W. Brodersen
FDL
2004
IEEE
15 years 10 months ago
The Formal Simulation Semantics of SystemVerilog
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...
Martin Zambaldi, Wolfgang Ecker, T. Kruse, W. M&uu...
CAISE
2006
Springer
15 years 10 months ago
A Non-Linear Cost Model for Multi-Node OLAP Systems
Answering performance to business queries, mainly of aggregated nature, known as On-Line Analytical Processing queries, depends heavily on the proper selection of multidimensional ...
Jorge Loureiro, Orlando Belo