Sciweavers

4745 search results - page 497 / 949
» Discretization: An Enabling Technique
Sort
View
DATE
2003
IEEE
85views Hardware» more  DATE 2003»
16 years 10 days ago
Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...
Amit Goel, Randal E. Bryant
HICSS
2003
IEEE
167views Biometrics» more  HICSS 2003»
16 years 10 days ago
Discovering Group Interaction Patterns in a Teachers Professional Community
Managers and group leaders of a community may not have enough information to help them direct the community development. In this paper, we adopt social network analysis, graph the...
Fu-ren Lin, Chun-Hung Chen, Kuo-Lung Tsai
ICDCS
2003
IEEE
16 years 10 days ago
Integrated Access Control and Intrusion Detection for Web Servers
Current intrusion detection systems work in isolation from access control for the application the systems aim to protect. The lack of coordination and inter-operation between thes...
Tatyana Ryutov, B. Clifford Neuman, Dong-Ho Kim, L...
IPPS
2003
IEEE
16 years 9 days ago
Architectural Frameworks for MPP Systems on a Chip
Advances in fabrication techniques are now enabling new hybrid CPU/FPGA computing resources to be integrated onto a single chip. While these new hybrids promise significant perfor...
David L. Andrews, Douglas Niehaus
ISCAS
2003
IEEE
83views Hardware» more  ISCAS 2003»
16 years 9 days ago
A high-resolution and fast-conversion time-to-digital converter
This paper describes a design of time-to-digital converter (TDC), which has the features of high-resolution and fast Conversion. With the aid of the gate delay difference techniqu...
Chorng-Sii Hwang, Poki Chen, Hen-Wai Tsao