5473 search results - page 977 / 1095 » On the graph isomorphism problem |
158
click to vote
FSTTCS
2009
Springer
16 years 22 days ago
2009
Springer
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
161
click to vote
JSSPP
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. This paper describes a new and novel scheme for job admission and resource allocation employed by the SODA scheduler in System S. Capable of processing enormous quantitie...
148
click to vote
HT
2009
ACM
16 years 20 days ago
2009
ACM
Collaborative tagging systems are now popular tools for organising and sharing information on the Web. While collaborative tagging offers many advantages over the use of controll...
133
click to vote
ITICSE
2009
ACM
16 years 20 days ago
2009
ACM
The topic of data structures has historically been taught with two major focuses: first, the basic definition and implementation of a small set of basic data structures (e.g. list...
146
click to vote
SLIP
2009
ACM
16 years 20 days ago
2009
ACM
The present paper is part of a larger effort to redesign, from the ground up, the best possible interconnect topologies for switchless multiprocessor computer systems. We focus he...