Sciweavers

2025 search results - page 325 / 405
» Software performance modelling using PEPA nets
Sort
View
JSS
2010
120views more  JSS 2010»
13 years 7 months ago
An evaluation of timed scenario notations
There is a general consensus on the importance of good Requirements Engineering (RE) for achieving high quality software. The modeling and analysis of requirements have been the m...
Jameleddine Hassine, Juergen Rilling, Rachida Dsso...
MICCAI
2009
Springer
14 years 10 months ago
Optimal Transseptal Puncture Location for Robot-Assisted Left Atrial Catheter Ablation
The preferred method of treatment for Atrial Fibrillation (AF) is by catheter ablation wherein a catheter is guided into the left atrium through a transseptal puncture. However, th...
Jagadeesan Jayender, Rajni V. Patel, Gregory F. ...
IPPS
2007
IEEE
14 years 3 months ago
SWARM: A Parallel Programming Framework for Multicore Processors
Due to fundamental physical limitations and power constraints, we are witnessing a radical change in commodity microprocessor architectures to multicore designs. Continued perform...
David A. Bader, Varun Kanade, Kamesh Madduri
CVPR
2008
IEEE
13 years 9 months ago
Intensity statistics-based HSI diffusion for color photo denoising
This paper presents a new image denoising model for real color photo noise removal. Our model is implemented in the hue, saturation and intensity (HSI) space. The hue and saturati...
Lei He, Chunming Li, Chenyang Xu
SIGCOMM
2012
ACM
11 years 11 months ago
Abstractions for network update
ions for Network Update Mark Reitblatt Cornell Nate Foster Cornell Jennifer Rexford Princeton Cole Schlesinger Princeton David Walker Princeton Configuration changes are a common...
Mark Reitblatt, Nate Foster, Jennifer Rexford, Col...