Sciweavers

3507 search results - page 348 / 702
» Slicing for architectural analysis
Sort
View
217
Voted
CLUSTER
2002
IEEE
15 years 6 months ago
ZENTURIO: An Experiment Management System for Cluster and Grid Computing
The need to conduct and manage large sets of experiments for scientific applications dramatically increased over the last decade. However, there is still very little tool support ...
Radu Prodan, Thomas Fahringer
PLDI
2012
ACM
13 years 9 months ago
RockSalt: better, faster, stronger SFI for the x86
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
Greg Morrisett, Gang Tan, Joseph Tassarotti, Jean-...
190
Voted
EUROSYS
2007
ACM
16 years 4 months ago
Sealing OS processes to improve dependability and safety
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
Galen C. Hunt, Mark Aiken, Manuel Fähndrich, ...
163
Voted
VLSID
2004
IEEE
111views VLSI» more  VLSID 2004»
16 years 7 months ago
Improved Approach for Noise Propagation to Identify Functional Noise Violations
This paper targets at reducing the crosstalk noise closure time by filtering the set of false violations. We propose two approaches to reduce the pessimism in the crosstalk noise ...
Sachin Shrivastava, Dhanoop Varghese, Vikas Narang...
190
Voted
VLSID
2002
IEEE
138views VLSI» more  VLSID 2002»
16 years 7 months ago
A Framework for Design Space Exploration of Parameterized VLSI Systems
The paper presents two new approaches to multiobjective design space exploration for parametric VLSI systems. Both considerably reduce the number of simulations needed to determin...
Giuseppe Ascia, Vincenzo Catania, Maurizio Palesi