Sciweavers

1582 search results - page 105 / 317
» Mathematical Tools for Physics
Sort
View
IJMTM
2006
85views more  IJMTM 2006»
13 years 8 months ago
Simulation in agent-based control systems: MAST case study
: The paper discusses the role of simulation in agent-based control systems. We present the universal runtime interface enabling efficient interactions between the agent control, m...
Pavel Vrba
TIFS
2010
120views more  TIFS 2010»
13 years 3 months ago
Gibbs Construction in Steganography
Abstract--We make a connection between steganography design by minimizing embedding distortion and statistical physics. The unique aspect of this work and one that distinguishes it...
Tomás Filler, Jessica J. Fridrich
CASCON
2007
1035views Education» more  CASCON 2007»
13 years 10 months ago
An IDE for software development using tabular expressions
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
Dennis K. Peters, Mark Lawford, Baltasar Tranc&oac...
ICCAD
2001
IEEE
127views Hardware» more  ICCAD 2001»
14 years 5 months ago
What is the Limit of Energy Saving by Dynamic Voltage Scaling?
Dynamic voltage scaling (DVS) is a technique that varies the supply voltage and clock frequency based on the computation load to provide desired performance with the minimal amoun...
Gang Qu
ISPASS
2007
IEEE
14 years 3 months ago
An Analysis of Performance Interference Effects in Virtual Environments
Virtualization is an essential technology in modern datacenters. Despite advantages such as security isolation, fault isolation, and environment isolation, current virtualization ...
Younggyun Koh, Rob C. Knauerhase, Paul Brett, Mic ...