Sciweavers

362 search results - page 62 / 73
» di 2007
Sort
View
AIIA
2007
Springer
13 years 9 months ago
Similarity-Guided Clause Generalization
Few works are available in the literature to define similarity criteria between First-Order Logic formulæ, where the presence of relations causes various portions of one descript...
Stefano Ferilli, Teresa Maria Altomare Basile, Nic...
VIS
2007
IEEE
126views Visualization» more  VIS 2007»
14 years 8 months ago
A Unified Paradigm for Scalable Multi-Projector Displays
We present a general framework for the modeling and optimization of scalable multi-projector displays. Based on this framework, we derive algorithms that can robustly optimize the ...
Niranjan Damera-Venkata, Nelson L. Chang, Jeffre...
DAC
2007
ACM
14 years 8 months ago
Period Optimization for Hard Real-time Distributed Automotive Systems
The complexity and physical distribution of modern active-safety automotive applications requires the use of distributed architectures. These architectures consist of multiple ele...
Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio P...
SIGSOFT
2007
ACM
14 years 8 months ago
An empirical study on the evolution of design patterns
Design patterns are solutions to recurring design problems, conceived to increase benefits in terms of reuse, code quality and, above all, maintainability and resilience to change...
Lerina Aversano, Gerardo Canfora, Luigi Cerulo, Co...
MSS
2007
IEEE
87views Hardware» more  MSS 2007»
14 years 1 months ago
TPT-RAID: a High Performance Box-Fault Tolerant Storage System
TPT-RAID is a multi-box RAID wherein each ECC group comprises at most one block Jrom any given storage box, and can thus tolerate a boxJailure. It extends the idea ojan out-oj-ban...
Yitzhak Birk, Erez Zilber