2907 search results - page 462 / 582 » Presentations of Structures in Admissible Sets |
103
Voted
DATE
1998
IEEE
15 years 5 months ago
1998
IEEE
Petri nets are a graph-based formalism appropriate to model concurrentsystems such as asynchronouscircuits or network protocols. Symbolic techniques based on Binary Decision Diagr...
114
Voted
SAS
1999
Springer
15 years 5 months ago
1999
Springer
This paper presents and evaluates a set of analyses designed to reduce synchronization overhead in Java programs. Monitor-based synchronization in Java often causes significant ove...
112
Voted
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
- Processor scheduling in distributed-memory systems has received considerable attention in recent years. Several commercial distributed-memory systems use spacesharing processor s...
110
Voted
KDD
1998
ACM
15 years 5 months ago
1998
ACM
We present the notion of Ranking for evaluation of two-class classifiers. Ranking is based on using the ordering information contained in the output of a scoring model, rather tha...
152
Voted
IPPS
1997
IEEE
15 years 5 months ago
1997
IEEE
We present the Data Parallel Fortran (DPF) benchmark suite, a set of data parallel Fortran codes forevaluatingdata parallel compilers appropriatefor any target parallel architectu...