Sciweavers

3779 search results - page 363 / 756
» Linear Consistency Testing
Sort
View
EDCC
2005
Springer
16 years 9 days ago
Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...
Christophe Honvault, Marc Le Roy, Pascal Gula, Jea...
ISMIR
2005
Springer
185views Music» more  ISMIR 2005»
16 years 8 days ago
A Benchmark Dataset for Audio Classification and Clustering
We present a freely available benchmark dataset for audio classification and clustering. This dataset consists of 10 seconds samples of 1886 songs obtained from the Garageband si...
Helge Homburg, Ingo Mierswa, Bülent Möll...
APWEB
2004
Springer
16 years 5 days ago
Template-Based Runtime Invalidation for Database-Generated Web Contents
We propose a template-based runtime invalidation approach for maintaining cache consistency in database-generated web contents. In our approach, the invalidator sits between a web...
Chun Yi Choi, Qiong Luo
MOZ
2004
Springer
16 years 4 days ago
A Mozart Implementation of CP(BioNet)
The analysis of biochemical networks consists in studying the interactions between biological entities cooperating in complex cellular processes. To facilitate the expression of an...
Grégoire Dooms, Yves Deville, Pierre Dupont
ISQED
2003
IEEE
109views Hardware» more  ISQED 2003»
16 years 1 days ago
Modeling and Analysis of Power Distribution Networks for Gigabit Applications
—As the operating frequency of digital systems increases and voltage swing decreases, it becomes very important to characterize and analyze power distribution networks (PDNs) acc...
Wendemagegnehu T. Beyene, Chuck Yuan, Joong-Ho Kim...