Sciweavers

2088 search results - page 192 / 418
» Formal Approach to Integrating Feature and Architecture Mode...
Sort
View
DAC
2007
ACM
16 years 7 months ago
PV-PPV: Parameter Variability Aware, Automatically Extracted, Nonlinear Time-Shifted Oscillator Macromodels
Abstract-- The PPV is a robust phase domain macromodel for oscillators. It has been proven to predict oscillators' responses correctly under small signal perturbations, and ca...
Zhichun Wang, Xiaolue Lai, Jaijeet S. Roychowdhury
TCAD
2002
158views more  TCAD 2002»
15 years 6 months ago
Static power modeling of 32-bit microprocessors
The paper presents a novel strategy aimed at modelling instruction energy consumption of 32-bits microprocessors. Differently from former approaches, the proposed instruction-level...
Carlo Brandolese, Fabio Salice, William Fornaciari...
TSE
2011
114views more  TSE 2011»
15 years 1 months ago
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...
Luciano Baresi, Carlo Ghezzi, Luca Mottola
ERCIMDL
2005
Springer
77views Education» more  ERCIMDL 2005»
16 years 2 days ago
SCOPE - A Generic Framework for XML Based Publishing Processes
One of the objectives of the Open Access movement is to establish institutional repositories at universities and other research institutions in order to support self-archiving. Alt...
Uwe Müller, Manuel Klatt
DOOD
1997
Springer
163views Database» more  DOOD 1997»
15 years 10 months ago
On a Declarative Semantics for Web Queries
With the increasing importance of the World Wide Web as an information source, there is a growing interest for integration of Web and database technology. Several Web query languag...
Rainer Himmeröder, Georg Lausen, Bertram Lud&...