Sciweavers

5228 search results - page 747 / 1046
» Case Studies for Software Engineers
Sort
View
ETS
2010
IEEE
130views Hardware» more  ETS 2010»
15 years 7 months ago
A distributed architecture to check global properties for post-silicon debug
Post-silicon validation and debug, or ensuring that software executes correctly on the silicon of a multi-processor system-on-chip (MPSOC) is complicated, as it involves checking g...
Erik Larsson, Bart Vermeulen, Kees Goossens
CORR
2010
Springer
132views Education» more  CORR 2010»
15 years 6 months ago
Bayesian Network Based XP Process Modelling
A Bayesian Network based mathematical model has been used for modelling Extreme Programming software development process. The model is capable of predicting the expected finish ti...
Mohamed Abouelela, Luigi Benedicenti
EOR
2006
77views more  EOR 2006»
15 years 6 months ago
A framework for ex ante project risk assessment based on absorptive capacity
This paper explores the applicability of the concepts of absorptive capacity and ``ba'' to ex ante project risk. We develop a hybrid framework to explain knowledge trans...
Michael J. Cuellar, Michael J. Gallivan
JODL
2007
98views more  JODL 2007»
15 years 6 months ago
The Florida Digital Archive and DAITSS: a working preservation repository based on format migration
: The Florida Digital Archive is a long-term digital preservation repository for the use of the libraries of the public universities of Florida. It is managed by the Florida Center...
Priscilla Caplan
CAV
2009
Springer
119views Hardware» more  CAV 2009»
16 years 7 months ago
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
Eric Goubault, Franck Védrine, Karim Tekkal...