Sciweavers

173 search results - page 21 / 35
» Verification of Distributed Hierarchical Components
Sort
View
ICDAR
2007
IEEE
14 years 1 months ago
A Shared Parts Model for Document Image Recognition
We address document image classification by visual appearance. An image is represented by a variable-length list of visually salient features. A hierarchical Bayesian network is ...
M. Das Gupta, P. Sarkar
HOTI
2002
IEEE
14 years 8 days ago
Radioport: A Radio Network for Monitoring and Diagnosing Computer Systems
A radio network is described for configuring, monitoring, and diagnosing the components of a computer system. Such a network offers several advantages: (a) it improves the robustn...
Hans Eberle
ICCAD
1999
IEEE
81views Hardware» more  ICCAD 1999»
13 years 11 months ago
Modeling design constraints and biasing in simulation using BDDs
Constraining and input biasing are frequently used techniques in functional verification methodologies based on randomized simulation generation. Constraints confine the simulatio...
Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller,...
ACSAC
2007
IEEE
13 years 11 months ago
Distributed Secure Systems: Then and Now
The early 1980s saw the development of some rather sophisticated distributed systems. These were not merely networked file systems: rather, using remote procedure calls, hierarchi...
Brian Randell, John M. Rushby
CLUSTER
2000
IEEE
13 years 7 months ago
Data management for large-scale scientific computations in high performance distributed systems
With the increasing number of scientific applications manipulating huge amounts of data, effective high-level data management is an increasingly important problem. Unfortunately, ...
Alok N. Choudhary, Mahmut T. Kandemir, Jaechun No,...