3052 search results - page 102 / 611 » Weakly Distributive Domains |
128
click to vote
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. We show that the class of Petri nets is less exp...
135
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same "AGEF" properties: temporal logic...
122
click to vote
WSC
1997
15 years 5 months ago
1997
This paper describes the Integrated Supportability Analysis and Cost System (ISACS+) and the features which will be demonstrated. ISACS+ is a distributed, client/server system for...
132
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents the time domain and timefrequency domain analysis results of incipient events in single-phase distribution transformers. This analysis will aid in the developm...
133
click to vote
DAC
2009
ACM
15 years 8 months ago
2009
ACM
We present an unconventional clock distribution that emphasizes flexibility and layout independence. It suits a variety of applications, clock domain shapes and sizes using a modu...