Sciweavers

3872 search results - page 170 / 775
» The Java memory model
Sort
View
119
Voted
ISQED
2006
IEEE
106views Hardware» more  ISQED 2006»
15 years 8 months ago
Parameterizable Architecture-Level SRAM Power Model Using Circuit-Simulation Backend for Leakage Calibration
We propose an accurate architecture-level power estimation method for SRAM memories. This hybrid method is composed of an analytical part for dynamic power estimation and a circui...
Minh Quang Do, Mindaugas Drazdziulis, Per Larsson-...
119
Voted
PHSN
1994
15 years 4 months ago
A hybrid deposit model for low overhead communication in high speed LANs
This paper presents a new,
Randy B. Osborne
132
Voted
PODS
2006
ACM
95views Database» more  PODS 2006»
16 years 2 months ago
Randomized computations on large data sets: tight lower bounds
We study the randomized version of a computation model (introduced in [9, 10]) that restricts random access to external memory and internal memory space. Essentially, this model c...
André Hernich, Martin Grohe, Nicole Schweik...
111
Voted
WSC
1998
15 years 4 months ago
The Future of Java-based Simulation
Java-based simulation presents a unique opportunity for revolutionary changes in the process of developing simulation models and in the mission of the simulation software firms th...
Richard A. Kilgore, Kevin J. Healy, George B. Klei...
134
Voted
JCS
2010
124views more  JCS 2010»
15 years 1 months ago
Verifying resource access control on mobile interactive devices
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
Frédéric Besson, Guillaume Dufay, Th...