7825 search results - page 333 / 1565 » Physics |
161
click to vote
HOTOS
2009
IEEE
15 years 10 months ago
2009
IEEE
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...
147
Voted
CLADE
2004
IEEE
15 years 10 months ago
2004
IEEE
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 ...
147
click to vote
EH
2004
IEEE
15 years 10 months ago
2004
IEEE
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...
165
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
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...
187
click to vote
CHES
2000
Springer
15 years 10 months ago
2000
Springer
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...