851 search results - page 125 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
HPCC
2007
Springer
14 years 2 months ago
2007
Springer
A wide class of geometry processing and PDE resolution methods needs to solve a linear system, where the non-zero pattern of the matrix is dictated by the connectivity matrix of th...
CAV
2009
Springer
14 years 11 months ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
SIGMOD
2006
ACM
14 years 11 months ago
2006
ACM
We introduce XPORT, a profile-driven distributed data dissemination system that supports an extensible set of data types, profile types, and optimization metrics. XPORT efficientl...
ISPAN
2009
IEEE
14 years 5 months ago
2009
IEEE
— This paper presents a novel framework for intelligent temperature control in smart homes using Wireless Sensor Networks (WSN) and geostatistical analysis for total spatial awar...
IPPS
2006
IEEE
14 years 5 months ago
2006
IEEE
Analytic applications from various industrial sectors have specific attributes and requirements including relatively long processing time, parallelization, multiple interactive in...