Sciweavers

1067 search results - page 102 / 214
» Problem Solving in the DISCO Constraint Database System
Sort
View
158
Voted
PLANX
2007
15 years 4 months ago
XPath Typing Using a Modal Logic with Converse for Finite Trees
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...
Pierre Genevès, Nabil Layaïda, Alan Sc...
EDBT
2008
ACM
123views Database» more  EDBT 2008»
16 years 3 months ago
XML data integration in SixP2P: a theoretical framework
In the paper we discuss the problem of data integration in a P2P environment. In such setting each peer stores schema of its local data, mappings between the schema and schemas of...
Tadeusz Pankowski
DAC
2008
ACM
16 years 4 months ago
Stochastic modeling of a thermally-managed multi-core system
Achieving high performance under a peak temperature limit is a first-order concern for VLSI designers. This paper presents a new model of a thermally-managed system, where a stoch...
Hwisung Jung, Peng Rong, Massoud Pedram
ICC
2007
IEEE
15 years 9 months ago
Hybrid Power/Overlap Allocation Scheme for a Multirate Overlapped Optical CDMA System
– This paper addresses the problem of resource allocation in a multiservice optical network based on an Overlapped-CDMA system. A joint transmission power and overlapping coeffic...
Robert Raad, Elie Inaty, Paul Fortier, Hossam M. H...
CP
2006
Springer
15 years 7 months ago
Boosting Open CSPs
In previous work, a new approach called Open CSP (OCSP) was defined as a way of integrate information gathering and problem solving. Instead of collecting all variable values befor...
Santiago Macho González, Carlos Ansó...