Sciweavers

677 search results - page 69 / 136
» Rigorous Object-Oriented Analysis
Sort
View
JSS
2010
123views more  JSS 2010»
14 years 7 months ago
Composition of architectural models: Empirical analysis and language support
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...
Nelis Boucké, Danny Weyns, Tom Holvoet
ETS
2011
IEEE
224views Hardware» more  ETS 2011»
14 years 14 days ago
AVF Analysis Acceleration via Hierarchical Fault Pruning
—The notion of Architectural Vulnerability Factor (AVF) has been extensively used by designers to evaluate various aspects of design robustness. While AVF is a very accurate way ...
Michail Maniatakos, Chandra Tirumurti, Abhijit Jas...
100
Voted
DAC
1998
ACM
16 years 1 months ago
A Case Study in Embedded System Design: An Engine Control Unit
A number of techniques and software tools for embedded system design have been recently proposed. However, the current practice in the designer community is heavily based on manua...
Alberto L. Sangiovanni-Vincentelli, Antonino Damia...
WWW
2009
ACM
16 years 1 months ago
Spatio-temporal models for estimating click-through rate
We propose novel spatio-temporal models to estimate clickthrough rates in the context of content recommendation. We track article CTR at a fixed location over time through a dynam...
Deepak Agarwal, Bee-Chung Chen, Pradheep Elango
92
Voted
RECOMB
2005
Springer
16 years 1 months ago
Likely Scenarios of Intron Evolution
Whether common ancestors of eukaryotes and prokaryotes had introns is one of the oldest unanswered questions in molecular evolution. Recently completed genome sequences have been u...
Miklós Csürös