Sciweavers

7397 search results - page 1414 / 1480
» Processes Are Data: A Programming Model for Distributed Appl...
Sort
View
WADT
1999
Springer
15 years 7 months ago
From States to Histories
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
Manfred Broy
DASFAA
2008
IEEE
188views Database» more  DASFAA 2008»
15 years 9 months ago
Summarization Graph Indexing: Beyond Frequent Structure-Based Approach
Graph is an important data structure to model complex structural data, such as chemical compounds, proteins, and XML documents. Among many graph data-based applications, sub-graph ...
Lei Zou, Lei Chen 0002, Huaming Zhang, Yansheng Lu...
ISSAC
2007
Springer
177views Mathematics» more  ISSAC 2007»
15 years 9 months ago
Component-level parallelization of triangular decompositions
We discuss the parallelization of algorithms for solving polynomial systems symbolically by way of triangular decompositions. We introduce a component-level parallelism for which ...
Marc Moreno Maza, Yuzhen Xie
NOMS
2010
IEEE
180views Communications» more  NOMS 2010»
15 years 1 months ago
Exploiting non-dedicated resources for cloud computing
—Popular web services and applications such as Google Apps, DropBox, and Go.Pc introduce a wasteful imbalance of processing resources. Each host operated by a provider serves hun...
Artur Andrzejak, Derrick Kondo, David P. Anderson
DATE
2004
IEEE
175views Hardware» more  DATE 2004»
15 years 7 months ago
Breaking Instance-Independent Symmetries in Exact Graph Coloring
Code optimization and high level synthesis can be posed as constraint satisfaction and optimization problems, such as graph coloring used in register allocation. Graph coloring is...
Arathi Ramani, Fadi A. Aloul, Igor L. Markov, Kare...
« Prev « First page 1414 / 1480 Last » Next »