Sciweavers

1398 search results - page 209 / 280
» Ensuring Properties of Interaction Systems
Sort
View
CN
1998
77views more  CN 1998»
15 years 5 months ago
Modelling and simulation of the tongue during laryngoscopy
The main aim of our work is to create a realistic model of the behaviour of the upper airways during laryngoscopy. In this procedure the anaesthetist uses a rigid blade to displac...
Maria Andréia F. Rodrigues, Duncan Fyfe Gil...
ISVC
2009
Springer
15 years 10 months ago
Visualization of the Molecular Dynamics of Polymers and Carbon Nanotubes
Abstract. Research domains that deal with complex molecular systems often employ computer-based thermodynamics simulations to study molecular interactions and investigate phenomena...
Sidharth Thakur, Syamal Tallury, Melissa A. Pasqui...
CF
2010
ACM
15 years 11 months ago
Variant-based competitive parallel execution of sequential programs
Competitive parallel execution (CPE) is a simple yet attractive technique to improve the performance of sequential programs on multi-core and multi-processor systems. A sequential...
Oliver Trachsel, Thomas R. Gross
ACL
2006
15 years 7 months ago
Re-Usable Tools for Precision Machine Translation
The LOGON MT demonstrator assembles independently valuable general-purpose NLP components into a machine translation pipeline that capitalizes on output quality. The demonstrator ...
Jan Tore Lønning, Stephan Oepen
ACSAC
2008
IEEE
16 years 21 days ago
Defending Against Attacks on Main Memory Persistence
Main memory contains transient information for all resident applications. However, if memory chip contents survives power-off, e.g., via freezing DRAM chips, sensitive data such a...
William Enck, Kevin R. B. Butler, Thomas Richardso...