Sciweavers

107 search results - page 2 / 22
» Re-Examining the Use of Network-on-Chip as Test Access Mecha...
Sort
View
ET
2002
105views more  ET 2002»
13 years 7 months ago
An Integrated Framework for the Design and Optimization of SOC Test Solutions
We propose an integrated framework for the design of SOC test solutions, which includes a set of algorithms for early design space exploration as well as extensive optimization for...
Erik Larsson, Zebo Peng
TJS
2002
136views more  TJS 2002»
13 years 7 months ago
A Virtual Test Facility for the Simulation of Dynamic Response in Materials
The Center for Simulating Dynamic Response of Materials at the California Institute of Technology is constructing a virtual shock physics facility for studying the response of vari...
Julian Cummings, Michael Aivazis, Ravi Samtaney, R...
VLDB
2002
ACM
198views Database» more  VLDB 2002»
13 years 7 months ago
A New Passenger Support System for Public Transport using Mobile Database Access
We have been developing a mobile passenger support system for public transport. Passengers can make their travel plans and purchase necessary tickets by accessing databases via th...
Koichi Goto, Yahiko Kambayashi
LCPC
2000
Springer
13 years 11 months ago
A Comparative Analysis of Dependence Testing Mechanisms
The internal mechanism used for a dependence test constrains its accuracy and determines its speed. The internal mechanism used for our Access Region Test (ART) is fundamentally d...
Jay Hoeflinger, Yunheung Paek
IJSEKE
2011
165views more  IJSEKE 2011»
12 years 11 months ago
Model Checking for Verification of Mandatory Access Control Models and Properties
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun H...