1202 search results - page 1 / 241 » Sortings for Reactive Systems |
CONCUR
2008
Springer
13 years 6 months ago
2008
Springer
We develop a theory of sorted bigraphical reactive systems. Every application of bigraphs in the literature has required an extension, a sorting, of pure bigraphs. In turn, every s...
CONCUR
2006
Springer
13 years 8 months ago
2006
Springer
CONCUR
2009
Springer
13 years 9 months ago
2009
Springer
ract bigraphs lack RPOs 57 6 Sorting 59 6.1 Place sorting and CCS 59 6.2 Link sorting, arithmetic nets and Petri nets 64 6.3 The impact of sorting 69 Part II : Motion 71 7 Reaction...
CASCON
1996
13 years 5 months ago
1996
A memory-adaptive sort is able to dynamically change the amount of memory used during sorting. The method described in this paper adjusts memory usage according to input size and ...
ICRA
1999
IEEE
13 years 8 months ago
1999
IEEE
A new object sorting device using impulsive manipulation and air floating will be developed. First, two methods for impulsive object sorting are evaluated using computer simulatio...