Sciweavers

5189 search results - page 503 / 1038
» Modeling architectural patterns using architectural primitiv...
Sort
View
230
Voted
WSC
1998
15 years 8 months ago
MPI-SIM: Using Parallel Simulation to Evaluate MPI Programs
This paper describes the design and implementation of MPI-SIM, a library for the execution driven parallel simulation of MPI programs. MPI-LITE, a portable library that supports m...
Sundeep Prakash, Rajive Bagrodia
IPPS
2000
IEEE
15 years 12 months ago
Transient Analysis of Dependability/Performability Models by Regenerative Randomization with Laplace Transform Inversion
In this paper we develop a variant of a previously proposed method the regenerative randomization method for the transient analysis of dependability performability models. The va...
Juan A. Carrasco
ESORICS
2006
Springer
15 years 11 months ago
A Formal Model of Access Control for Mobile Interactive Devices
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
Frédéric Besson, Guillaume Dufay, Th...
VLSID
2005
IEEE
89views VLSI» more  VLSID 2005»
16 years 7 months ago
Power Optimization in Current Mode Circuits
We propose a method to minimize power dissipation in current-mode CMOS analog and multiple-valued logic (MVL) circuits employing a stack of current comparators. First, we present ...
M. S. Bhat, H. S. Jamadagni
169
Voted
ISVC
2007
Springer
16 years 1 months ago
A GPU Framework for the Visualization and On-the-Fly Amplification of Real Terrains
This paper describes a GPU framework for the real-time visualization of natural textured terrains, as well as the steps that are needed to populate them on-the-fly with tens of tho...
Yacine Amara, Sylvain Meunier, Xavier Marsault