Search Results

Filter
  • 1-10 of  28 results for ""AXIOMS""
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Periodical

The Reliability of Enterprise Applications.

  • Source: Communications of the ACM. Jan2020, Vol. 63 Issue 1, p38-45. 8p. 1 Color Photograph, 2 Diagrams, 3 Charts.

Record details

×
Academic Journal

On Specification of Read/Write Shared Variables.

  • Source: Journal of the ACM. Dec2007, Vol. 54 Issue 6, p1-19. 19p. 1 Diagram.

Record details

×
Academic Journal

Register-Machine Based Processes.

  • Source: Journal of the ACM. Nov2001, Vol. 48 Issue 6, p1207. 35p. 1 Diagram, 6 Charts.

Record details

×
Periodical

A SIMPLE APPROACH TO SPECIFYING CONCURRENT SYSTEMS.

  • Source: Communications of the ACM. Jan1989, Vol. 32 Issue 1, p32-45. 14p. 5 Diagrams.

Record details

×
Academic Journal

Dependencies for Graphs.

  • Source: ACM Transactions on Database Systems. Feb2019, Vol. 44 Issue 2, p1-40. 40p.

Record details

×
Academic Journal

An Axiomatic Approach to Personalized Ranking Systems.

  • Source: Journal of the ACM. Apr2010, Vol. 57 Issue 4, p26:1-26:35. 35p. 12 Diagrams.

Record details

×
Periodical

Verifying Properties of Parallel Programs: An Axiomatic Approach.

  • Source: Communications of the ACM. May76, Vol. 19 Issue 5, p279-285. 7p. 1 Diagram.

Record details

×
Periodical

A Comment on Axiomatic Approaches to Programming.

  • Source: Communications of the ACM. Jul1970, Vol. 13 Issue 7, p452-452. 1p.

Record details

×
Periodical

Thinking Clearly About Performance, Part 1.

  • Source: Communications of the ACM. Sep2010, Vol. 53 Issue 9, p55-60. 6p. 3 Diagrams, 5 Charts.

Record details

×
Periodical

Viewpoint: Retrospective: An Axiomatic Basis for Computer Programming.

  • Source: Communications of the ACM. Oct2009, Vol. 52 Issue 10, p30-32. 3p. 1 Color Photograph.

Record details

×
  • 1-10 of  28 results for ""AXIOMS""