Sciweavers

3106 search results - page 340 / 622
» Both Generic Design and Different Forms of Designing
Sort
View
VLSID
2007
IEEE
104views VLSI» more  VLSID 2007»
16 years 28 days ago
STEFAL: A System Level Temperature- and Floorplan-Aware Leakage Power Estimator for SoCs
In this paper we demonstrate the impact of the floorplan on the temperature-dependent leakage power of a System on Chip (SoC). We propose a novel system level temperature aware a...
Aseem Gupta, Nikil D. Dutt, Fadi J. Kurdahi, Kamal...
CONCUR
2005
Springer
16 years 6 days ago
Type-Directed Concurrency
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
Deepak Garg, Frank Pfenning
PADS
1997
ACM
15 years 11 months ago
MRE: A Flexible Approach to Multi-Resolution Modeling
Multi-resolution representation of simulated entities is considered essentialfor a growing portion of distributed simulations. Heretofore,modelers have representedentites at just ...
Anand Natrajan, Paul F. Reynolds Jr., Sudhir Srini...
CCS
2006
ACM
15 years 10 months ago
Provably-secure time-bound hierarchical key assignment schemes
A time-bound hierarchical key assignment scheme is a method to assign time-dependent encryption keys to a set of classes in a partially ordered hierarchy, in such a way that each ...
Giuseppe Ateniese, Alfredo De Santis, Anna Lisa Fe...
ECAI
2006
Springer
15 years 10 months ago
Bridging the Gap Between Informal and Formal Guideline Representations
Abstract. Clinical guidelines are important means to improve quality of health care while limiting cost and supporting the medical staff. They are written as free text with tables ...
Andreas Seyfang, Silvia Miksch, Mar Marcos, Joland...