Sciweavers

8486 search results - page 1360 / 1698
» Ordered Enumeration Method
Sort
View
ACSD
1998
IEEE
121views Hardware» more  ACSD 1998»
15 years 11 months ago
Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings
State coding conflict detection is a fundamental part of synthesis of asynchronous concurrent systems from their specifications as Signal Transition Graphs (STGs), which are a spe...
Alex Kondratyev, Jordi Cortadella, Michael Kishine...
COOPIS
1998
IEEE
15 years 11 months ago
Towards an Inductive Design of Distributed Object Oriented Databases
Cooperative Information Systems (CIS) often consist of applications that access shared resources such as databases. Since centralized systems may have a great impact on the system...
Fernanda Araujo Baião, Marta Mattoso, Gerso...
IEAAIE
1999
Springer
15 years 11 months ago
Modelling Fuzzy Sets Using Object-Oriented Techniques
This paper describes a new approach to model fuzzy sets using object-oriented programming techniques. Currently, the most frequently used method to model fuzzy sets is by using a p...
Gary Yat Chung Wong, Hon Wai Chun
HICSS
1998
IEEE
117views Biometrics» more  HICSS 1998»
15 years 11 months ago
OBIWAN - A Visual Interface for Prompted Query Refinement
Typically, users submit very simple search queries to digital document data collections. Often these queries can result in extremely broad answers or answers in which document rel...
James W. Cooper, Roy J. Byrd
HPCA
1998
IEEE
15 years 11 months ago
Hardware for Speculative Run-Time Parallelization in Distributed Shared-Memory Multiprocessors
Run-time parallelization is often the only way to execute the code in parallel when data dependence information is incomplete at compile time. This situation is common in many imp...
Ye Zhang, Lawrence Rauchwerger, Josep Torrellas
« Prev « First page 1360 / 1698 Last » Next »