4604 search results - page 179 / 921 » Concurrency in Synchronous Systems |
122
click to vote
ICCD
2002
IEEE
15 years 9 months ago
2002
IEEE
Concurrent detection of failures in analog circuits is becoming increasingly more important as safety-critical systems become more widespread. A methodology for the automatic desi...
108
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper studies the dissipativity properties of full order dynamic models of synchronous generators. It is shown that, under widely accepted assumptions, these models satisf...
143
click to vote
CLUSTER
2000
IEEE
15 years 8 months ago
2000
IEEE
We propose a programming model for distributed concurrent systems with mobile objects in the context of a process calculus. Code mobility is induced by lexical scoping on names. O...
121
Voted
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Several applications of graph rewriting systems (notably, some encodings of calculi with name passing) require rules which, besides deleting and generating graph items, are able to...
137
click to vote
KDD
1995
ACM
15 years 7 months ago
1995
ACM
The main objective of machine discovery is the determination of relations between data and of data models. In the paper we describe a method for discovery of data models represent...