Sciweavers

4516 search results - page 344 / 904
» Automated System Design for Availability
Sort
View
DAC
2005
ACM
16 years 7 months ago
Automatic scenario detection for improved WCET estimation
Modern embedded applications usually have real-time constraints and they are implemented using heterogeneous multiprocessor systems-on-chip. Dimensioning a system requires accurat...
Stefan Valentin Gheorghita, Sander Stuijk, Twan Ba...
DAC
2005
ACM
16 years 7 months ago
Structure preserving reduction of frequency-dependent interconnect
A rational Arnoldi method for passivity-preserving model-order reduction (MOR) with implicit multi-point moment matching for systems with frequency-dependent interconnects is desc...
Quming Zhou, Kartik Mohanram, Athanasios C. Antoul...
OOPSLA
2009
Springer
16 years 1 months ago
S.P.L.O.T.: software product lines online tools
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
Marcílio Mendonça, Moises Branco, Do...
SAC
2006
ACM
16 years 21 days ago
Domotic house gateway
This paper presents a domotic house gateway capable of seamlessly interacting with different devices from heterogeneous domotic systems and appliances. Such a gateway also provide...
Paolo Pellegrino, Dario Bonino, Fulvio Corno
ECSQARU
2003
Springer
15 years 12 months ago
A Multi-layered Bayesian Network Model for Structured Document Retrieval
New standards in document representation, like for example SGML, XML, and MPEG-7, compel Information Retrieval to design and implement models and tools to index, retrieve and prese...
Fabio Crestani, Luis M. de Campos, Juan M. Fern&aa...