4 search results - page 1 / 1 » On the ubiquity of certain total type structures |
MSCS
2007
13 years 4 months ago
2007
CONCUR
1991
Springer
13 years 8 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
EOR
2007
13 years 4 months ago
2007
Professional sports leagues are a major economic activity around the world. Teams and leagues do not want to waste their investments in players and structure in consequence of poo...
ICIP
1999
IEEE
14 years 6 months ago
1999
IEEE
Researchers are currently more interested in searching for fragments that are similar to a query, than a total data item that is similar to a query; the search interest is for &qu...