Filters








12 Hits in 7.9 sec

Page 7643 of Mathematical Reviews Vol. , Issue 95m [page]

1995 Mathematical Reviews  
Subramanian, Space-optimum conflict- free construction of 1-writer 1-reader multivalued atomic variable (116-129); Michiko Inoue, Wei Chen, Toshimitsu Masuzawa and Nobuki Tokura, Linear-time snapshot using  ...  multi-writer multi- reader registers (130-140); Ophir Rachman, Anomalies in the wait-free hierarchy (156-163); P.  ... 

Page 1383 of Mathematical Reviews Vol. 27, Issue Index [page]

Mathematical Reviews  
Space-optimum conflict-free construction of 1-writer l-reader multivalued atomic variable. (English summary) (see 95m:68005) — An “all pairs shortest paths” distributed algorithm using 2n? messages.  ...  Combinatorics and the conflict-free access problem.  ... 

Crawler [chapter]

Kenneth A. Ross, Christian S. Jensen, Richard Snodgrass, Curtis E. Dyreson, Christian S. Jensen, Richard Snodgrass, Spiros Skiadopoulos, Cristina Sirangelo, Mary Lynette Larsgaard, Gösta Grahne, Daniel Kifer, Hans-Arno Jacobsen (+106 others)
2009 Encyclopedia of Database Systems  
Historical Background Between 1980 and 2005, processing speeds improved by roughly four orders of magnitude, while memory speeds improved by less than a single order of magnitude.  ...  Cache-conscious algorithms typically employ knowledge of architectural parameters such as cache size and latency.  ...  Conjunctive queries are first-order queries of a particular form: {he 1 ,...,e n i j ∃x 1 ...x m c} where c is an (equality-free) conjunction of relational atoms, i.e., atoms of the form R(d 1 ,...  ... 
doi:10.1007/978-0-387-39940-9_2315 fatcat:x4qspjdytvhvroc7h753dihp7u

Page 1316 of Mathematical Reviews Vol. 27, Issue Index [page]

Mathematical Reviews  
Vijnana Parishad India 1 (1993), no. 1, 49-57. (Summary) 95j:33028 33C45 Subramanian, P.S. (with Haldar, S.) Space-optimum conflict-free construction of 1-writer l-reader multivalued atomic variable.  ...  Mat. 24 (1994), no. 1, 31-42. 54H25 (47H10) — Acommon fixed point theorem in fuzzy metric spaces. (English summary) Inform.  ... 

Program of the sixty-third annual convention

1955 American Psychologist  
This procedure established the writers’ intended meanings and pro- vided an objective criterion for “correctness” of readers’ interpretations.  ...  RESULTS: Correspondence between the report writers’ intended meanings and the readers’ interpretations was fairly low for all of the reports, averaging 53 per cent for the combined groups.  ... 
doi:10.1037/h0049379 fatcat:4xcrjcreuncerbhmy53ixk3mfy

End-user assisted ontology evolution in uncertain domains

Thomas Scharrenbach
2011
Acknowledgements Plan of This Chapter We start with an literature overview for computing explanations and justifications in Section 8.1 and continue with related work w.r.t. conflict solving in Section  ...  We finish the chapter with pointers to work done in the area of ontology evaluation in Section 8.4.  ...  Hide the Complexity A central challenge for ontology evolution is that there can be two parties involved: Knowledge engineers, on the one hand, are trained to construct conflict-free knowledge bases, but  ... 
doi:10.5167/uzh-61168 fatcat:6lnpngu2bjfchpoxri62mdtom4

An International Journal of Computing and Informatics Special Issue: Parallel and Distributed Real-Time Systems

Marcin Paprzycki, Janusz Zalewski, Haneef Fatmi
1995 unpublished
Garlan, "Formalizing Architectural Connection", Proceedings of the 16th In- References Acknowledgement We are grateful to Chaoying Chen for her help in preparing the art work of the manuscript.  ...  fellow researchers from the faculty, staff and students at the University; our fellow researchers from industry; our support staff in RICIS; and the volunteers on our Industrial Advisory Committee. [1]  ...  Time identifiers of timed preflx constructions may occur as free variable within the behaviour expression following the O operator.  ... 
fatcat:frpsd3mx4vdutjjk4x6abwlcju

Final report on information processing research

Rachel T. Levine, Research Documents Group.
2018
In addition, our logic permits formulas of the form A/(/) and Y/(i) where/(i) is a formula of our logic.  ...  We have addressed the problem of devising an appropriate logic for reasoning about networks with many identical processes.  ...  Synchronization properties guarantee that concurrent readers and writers of data do not interfere with each other.  ... 
doi:10.1184/r1/6605645 fatcat:k7ibo26tdfhd3objmizmdrwdfu

An integrated computer aided design system for railway freight vehicles [article]

D. W. Goddard, University Of Canterbury
2013
The relationships between instances of analysis variables serves to maintain integrity in an active design project and acts as a "computerised notebook".  ...  The prototype system used a commercially available relational database management system to store instances of analysis variables, approved project data, catalogue data, and the relationships between instances  ...  Free format input is of course essential. output. A good screen design will support short-term memory limitations. Multivalue assignment to input variables is also useful.  ... 
doi:10.26021/1425 fatcat:mbbhqrne2bdird76qinms4rxou

A Mathematical Bibliography of Signed and Gain Graphs and Allied Areas Compiled by

Thomas Zaslavsky
1996 unpublished
Potts models (signed graphs, spins are multivalued).  ...  The flow space or lattice is the real or integral null space of the incidence matrix. The tension space or lattice is the real or integral row space.  ...  A 1-variable Tutte-style polynomial Γ Σ of a sign-colored graph. Fix an edge ordering.  ... 
fatcat:os5lveptfbbbplmcy4drb2zd3m

2016 Jahresbericht Annual Report

Jähnichen Stefan, Raimund Geschäftsführung, Seidel, Meißner Heike, Gesellschafter
unpublished
on the topic of engineering academic software we have collected.  ...  The remainder of this document summarizes the morning sessions by listing the abstracts of each talk, the afternoon breakouts by describing each topic and its results, and finally the research questions  ...  This also relates to error reporting, where certain read/write conflicts give rise to spurious conflicts that can be eliminated with a higher-level view of conflict as lack of commutativity between atomic  ... 
fatcat:oef4sw3ebbcwhe7qbtizni4lfy

Arguement in the humanities: A knowledge based approach

Arthur Stutt
1989
The notion of argument style is discussed in terms of the types of reasoning used.  ...  development of several strands of research within the artificial intelligence community.  ...  of the terms become loose, multivalued and fuzzy.  ... 
doi:10.21954/ou.ro.0000dfca fatcat:6fzi7kvu65gcrfzv25d4asd4tq