Sciweavers

2403 search results - page 114 / 481
» Using the WinWin Spiral Model: A Case Study
Sort
View
PROCEDIA
2010
103views more  PROCEDIA 2010»
15 years 1 months ago
The Deflated Relaxed Incomplete Cholesky CG method for use in a real-time ship simulator
Ship simulators are used for training purposes and therefore have to calculate realistic wave patterns around the moving ship in real time. We consider a wave model that is based ...
E. van't Wout, M. B. van Gijzen, A. Ditzel, Auke v...
CORR
2009
Springer
242views Education» more  CORR 2009»
15 years 4 months ago
Adaptive Scheduling of Data Paths using Uppaal Tiga
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
Israa AlAttili, Fred Houben, Georgeta Igna, Steffe...
TII
2011
206views Education» more  TII 2011»
15 years 1 months ago
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
Simona Bernardi, Javier Campos, José Merseg...
CORR
2010
Springer
99views Education» more  CORR 2010»
15 years 5 months ago
A Markov Chain Model for the Analysis of Round-Robin Scheduling Scheme
---------------------------------------------------ABSTRACT-----------------------------------------------In the literature of Round-Robin scheduling scheme, each job is processed,...
D. Shukla, Saurabh Jain, Rahul Singhai, R. K. Agar...
WCE
2007
15 years 7 months ago
Procedures of Parameters' estimation of AR(1) models into lineal state-space models
—The objective of this paper is to study how algorithms of optimization affect the parametersestimation of Autoregressive AR(1)Models. In our research we have represented the AR...
Rouhia Noomene