Sciweavers

1451 search results - page 121 / 291
» Order independence and rationalizability
Sort
View
NLPRS
2001
Springer
15 years 11 months ago
Japanese Information Retrieval Method Using Syntactic and Statistical Information
This paper presents a Japanese information retrieval method using the dependency relationship between words and semantic and statistical information about them. Our method gives a...
Tsunenori Mine, Hiroki Fujitani, Makoto Amamiya
DATE
2000
IEEE
121views Hardware» more  DATE 2000»
15 years 11 months ago
Functional Test Generation for Full Scan Circuits
We study the effectiveness of functional tests for full scan circuits. Functional tests are important for design validation, and they potentially have a high defect coverage indep...
Irith Pomeranz, Sudhakar M. Reddy
IPPS
2000
IEEE
15 years 11 months ago
Declarative Concurrency in Java
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
Rafael Ramirez, Andrew E. Santosa
ITC
2000
IEEE
123views Hardware» more  ITC 2000»
15 years 11 months ago
Combinational logic synthesis for diversity in duplex systems
We describe logic synthesis techniques for designing diverse implementations of combinational logic circuits in order to maximize the data integrity of diverse duplex systems in t...
Subhasish Mitra, Edward J. McCluskey
IWSSD
2000
IEEE
15 years 11 months ago
Issues in Analyzing the Behavior of Event Dispatching Systems
A good architecture is a necessary condition to guarantee that the expected levels of performance, availability, fault tolerance, and scalability are achieved by the implemented s...
Giovanni Bricconi, Emma Tracanella, Elisabetta Di ...