Sciweavers

3676 search results - page 469 / 736
» Scalable component abstractions
Sort
View
CCS
2011
ACM
14 years 6 months ago
Automatic error finding in access-control policies
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripun...
138
Voted
DAC
2007
ACM
16 years 7 months ago
Reliability Analysis for Flexible Electronics: Case Study of Integrated a-Si: H TFT Scan Driver
Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works requires pr...
Tsung-Ching Huang, Huai-Yuan Tseng, Chen-Pang Kung...
DAC
2001
ACM
16 years 7 months ago
Addressing the System-on-a-Chip Interconnect Woes Through Communication-Based Design
Communication-based design represents a formal approach to systemon-a-chip design that considers communication between components as important as the computations they perform. Ou...
Marco Sgroi, Michael Sheets, Andrew Mihal, Kurt Ke...
DAC
2006
ACM
16 years 7 months ago
Constraint-driven floorplan repair
Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works requires pr...
Michael D. Moffitt, Aaron N. Ng, Igor L. Markov, M...
MICCAI
2003
Springer
16 years 7 months ago
Statistical Shape Modeling of Unfolded Retinotopic Maps for a Visual Areas Probabilistic Atlas
Abstract. This paper proposes a statistical model of functional landmarks delimiting low level visual areas which are highly variable across individuals. Low level visual areas are...
Isabelle Corouge, Michel Dojat, Christian Barillot