Sciweavers

7825 search results - page 333 / 1565
» Physics
Sort
View
HOTOS
2009
IEEE
15 years 10 months ago
Migration without Virtualization
Migrating a live, running operating system from one machine to another has proven to be an invaluable tool over the past few years. Today, however, the only way to migrate an OS i...
Michael A. Kozuch, Michael Kaminsky, Michael P. Ry...
147
Voted
CLADE
2004
IEEE
15 years 10 months ago
Grid Service for Visualization and Analysis of Remote Fusion Data
Simulations and experiments in the fusion and plasma physics community generate large datasets at remote sites. Visualization and analysis of these datasets are difficult because ...
Svetlana G. Shasharina, Nanbor Wang, John R. Cary
EH
2004
IEEE
89views Hardware» more  EH 2004»
15 years 10 months ago
Evolution in Materio: Initial Experiments with Liquid Crystal
Intrinsic evolution is often limited to using standard electronic components as the media for problem solving. It has been argued that because such components are human designed a...
Simon Harding, Julian Francis Miller
FORMATS
2006
Springer
15 years 10 months ago
Timed Alternating-Time Temporal Logic
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...
Thomas A. Henzinger, Vinayak S. Prabhu
CHES
2000
Springer
135views Cryptology» more  CHES 2000»
15 years 10 months ago
Differential Power Analysis in the Presence of Hardware Countermeasures
Abstract. The silicon industry has lately been focusing on side channel attacks, that is attacks that exploit information that leaks from the physical devices. Although different c...
Christophe Clavier, Jean-Sébastien Coron, N...