Sciweavers

5325 search results - page 668 / 1065
» Effective Computation for Nonlinear Systems
Sort
View
IPPS
2006
IEEE
16 years 27 days ago
Distributed Monte Carlo simulation of light transportation in tissue
A distributed Monte Carlo simulation which models the propagation of light through tissue has been developed. It will allow for improved calibration of medical imaging devices for...
Andrew J. Page, S. Coyle, Thomas M. Keane, Thomas ...
166
Voted
AOSD
2006
ACM
16 years 26 days ago
Optimization aspects in network simulation
A primary goal of AOSD in the context of systems software has been to permit improved modularity without significantly degrading performance. Optimizations represent important cr...
Jamal Siadat, Robert J. Walker, Cameron Kiddle
158
Voted
SAC
2006
ACM
16 years 25 days ago
Detecting identifiable areas in mobile environments
Location-based applications and services are getting increasingly important for mobile users. They take into account a mobile user's current location and provide a location-d...
Jörg Roth
169
Voted
CCS
2004
ACM
16 years 8 days ago
Authenticity by tagging and typing
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
Michele Bugliesi, Riccardo Focardi, Matteo Maffei
195
Voted
RTSS
2003
IEEE
16 years 4 days ago
Experimental Evaluation of Code Properties for WCET Analysis
This paper presents a quantification of the timing effects that advanced processor features like data and instruction cache, pipelines, branch prediction units and out-oforder ex...
Antoine Colin, Stefan M. Petters