Search

Your search keyword '"Van Overstraeten, R."' showing total 514 results

Search Constraints

Start Over You searched for: Author "Van Overstraeten, R." Remove constraint Author: "Van Overstraeten, R."
514 results on '"Van Overstraeten, R."'

Search Results

201. Resolution Methods

202. Application Perspectives

203. Constitutive Modeling

204. Soft Tissue Physiology

205. Allocation of Customer Types to Servers: Clustering is Optimal

206. Polling Models with Threshold Switching

207. Functional and Performance Analysis of Cooperating Sequential Processes

208. Dependability Modelling and Evaluation of Software Fault-Tolerant Systems

209. Arrival Theorems for Product-Form Stochastic Petri Nets

210. Modeling Symmetric Computer Architectures by SWNs

211. A Fixed-Point Model of a Distributed Memory Consistency Protocol

212. Routing Among Different Nodes Where Servers Break Down Without Losing Jobs

213. Dependability of Distributed Programs: Algorithms and Performance

214. Majorization and Stochastic Comparison Techniques for Scheduling of Parallel Systems

215. Two-Dimensional Nearest-Neighbour Queueing Models, a Review and an Example

216. Approximate Throughput Computation of Stochastic Marked Graphs

217. G-Networks: A Survey of Results, a Solver and an Application

218. M/G/1 Queues with FCFS Negative Arrivals

219. Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds

220. Tipp and the Spectral Expansion Method

221. Analysis of Parallel Processing Systems via the (max,+) Algebra

222. GSPN and SPA Compared in Practice : Modelling a Distributed Mail System

223. Stochastic Process Algebras : Constructive Specification Techniques Integrating Functional, Performance and Dependability Aspects

224. Stochastic Process Algebra for Discrete Event Simulation

225. Second Harmonic and Sum Frequency Generation

226. Photoluminescence Spectroscopy

227. Combination of Predictions Obtained from Different Software Reliability Growth Models

228. Software Reliability Trend Analyses: From Theoretical to Practical Considerations

229. Reflection Difference Techniques

230. On the Theory of Second Harmonic Generation

231. Raman Spectroscopy

232. Introduction

233. The Linear Optical Response

234. Spectroscopic Ellipsometry

235. Towards Operational Measures of Computer Security: Experimentation and Modelling

236. Towards Operational Measures of Computer Security: Concepts

237. Validation of Ultra-High Dependability for Software-based Systems

238. Computable Dependability Bounds for Large Markov Chains

239. Fast Numerical Solution for a Class of Markov Models

240. Designing Secure and Reliable Applications using Fragmentation-Redundancy-Scattering: an Object-Oriented Approach

241. Dependability Analysis of Iterative Fault-Tolerant Software Considering Correlation

242. New Ways to Get Accurate Reliability Measures

243. The Transformation Approach to the Modelling and Evaluation of Reliability and Availability Growth

244. Estimators for Fault Tolerance Coverage Evaluation

245. Fault Injection into VHDL Models: The MEFISTO Tool

246. Testing Distributed Real-Time Systems: An Overview

247. Integration and Comparison of Three Physical Fault Injection Techniques

248. An Experimental Evaluation of Formal Testing and Statistical Testing

249. From Recovery Blocks to Concurrent Atomic Actions

250. The Time-Triggered Approach to Real-Time System Design

Catalog

Books, media, physical & digital resources