19367 search results - page 307 / 3874 » Fine-Grain Process Modelling |
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
The VOVHDL language was defined as a verification oriented VHDL
139
click to vote
HIPC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Simple and unified non-operational specifications of the three memory consistency models Total Store Ordering (TSO), Partial Store Ordering (PSO), and Relaxed Memory Orde...
139
click to vote
BPM
2006
Springer
15 years 6 months ago
2006
Springer
The theory of regions and the algorithms for synthesizing a Petri net model from a transition system, which are based on this theory, have interesting practical applications
154
click to vote
AAAI
2010
15 years 5 months ago
2010
Matrix factorization is a fundamental technique in machine learning that is applicable to collaborative filtering, information retrieval and many other areas. In collaborative fil...
116
click to vote
AAAI
2004
15 years 5 months ago
2004
We consider a general model of stochastic discrete event systems with asynchronous events, and propose to develop efficient algorithms for verification and control of such systems...