Sciweavers

4524 search results - page 307 / 905
» The Complexity of Global Constraints
Sort
View
189
Voted
POPL
2000
ACM
15 years 11 months ago
Type Systems for Distributed Data Structures
Distributed-memory programs are often written using a global address space: any process can name any memory location on any processor. Some languages completely hide the distincti...
Ben Liblit, Alexander Aiken
ASAP
2007
IEEE
175views Hardware» more  ASAP 2007»
15 years 8 months ago
Scalable Multi-FPGA Platform for Networks-On-Chip Emulation
Interconnect validation is an important early step toward global SoC (System-On-Chip) validation. Fast performances evaluation and design space exploration for NoCs (Networks-On-C...
Abdellah-Medjadji Kouadri-Mostefaoui, Benaoumeur S...
158
Voted
IJCAI
2007
15 years 8 months ago
Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis
It is now well-known that the size of the model is the bottleneck when using model-based approaches to diagnose complex systems. To answer this problem, decentralized/distributed ...
Marie-Odile Cordier, Alban Grastien
MONET
2008
135views more  MONET 2008»
15 years 6 months ago
Understanding the Power of Distributed Coordination for Dynamic Spectrum Management
This paper investigates a distributed and adaptive approach to manage spectrum usage in dynamic spectrum access networks. While previous works focus on centralized provisioning, w...
Lili Cao, Haitao Zheng
TVCG
2008
169views more  TVCG 2008»
15 years 6 months ago
Adaptive Geometry Image
We present a novel postprocessing utility called adaptive geometry image (AGIM) for global parameterization techniques that can embed a 3D surface onto a rectangular1 domain. This ...
Chih-Yuan Yao, Tong-Yee Lee