Sciweavers

510 search results - page 94 / 102
» An Algebraic Framework for Urgency
Sort
View
CDC
2010
IEEE
205views Control Systems» more  CDC 2010»
14 years 9 months ago
Geometric control of patterned linear systems
es of circulant matrices. Our class is broader than just circulants, and we study patterned systems using abstract algebra, specifically the observation that a set of matrices with...
Sarah C. Hamilton, Mireille E. Broucke
JCAM
2010
111views more  JCAM 2010»
14 years 8 months ago
Finite element simulation of compressible particle-laden gas flows
A macroscopic two-fluid model of compressible particle-laden gas flows is considered. The governing equations are discretized by a high-resolution finite element method based on a...
Marcel Gurris, Dmitri Kuzmin, Stefan Turek
ICDE
2011
IEEE
245views Database» more  ICDE 2011»
14 years 5 months ago
Distributed cube materialization on holistic measures
—Cube computation over massive datasets is critical for many important analyses done in the real world. Unlike commonly studied algebraic measures such as SUM that are amenable t...
Arnab Nandi, Cong Yu, Philip Bohannon, Raghu Ramak...
CADE
2004
Springer
16 years 2 months ago
Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
José Meseguer, Grigore Rosu
CORR
2008
Springer
116views Education» more  CORR 2008»
15 years 2 months ago
An Evidential Path Logic for Multi-Relational Networks
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Descr...
Marko A. Rodriguez, Joe Geldart