Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  68 results for ""ALGORITHMS""

Your Filters

Content Provider : Academic Search Index Publication : science of computer programming Publisher : elsevier b.v. Subject : algorithms Filter by : Subject
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

A theory of retractable and speculative contracts.

Subjects: *REVERSIBLE computing; *ALGORITHMS; *COMPUTER simulation

  • Source: Science of Computer Programming. Dec2018, Vol. 167, p25-50. 26p.

Record details

Read More Add to Saved list
×
Academic Journal

An algorithm for compositional nonblocking verification using special events.

Subjects: *DISCRETE systems; *ALGORITHMS; *FOUNDATIONS of arithmetic

  • Source: Science of Computer Programming. Dec2015 Part 2, Vol. 113, p119-148. 30p.

Record details

Read More Add to Saved list
×
Academic Journal

A graph-based algorithm for three-way merging of ordered collections in EMF models.

Subjects: *ALGORITHMS; *GRAPHIC methods; *ALGEBRA

  • Source: Science of Computer Programming. Dec2015 Part 1, Vol. 113, p51-81. 31p.

Record details

Read More Add to Saved list
×
Academic Journal

Weakest preconditions and cumulative subgoal fulfillment.

Subjects: *ALGORITHMS; *MATHEMATICAL models; *INFORMATION science

  • Source: Science of Computer Programming. Sep2014, Vol. 89 Issue Part C, p223-234. 12p.

Record details

Read More Add to Saved list
×
Academic Journal

An algorithm to test the conflict preorder.

Subjects: *ALGORITHMS; *COMPARATIVE studies; *CONGRUENCE lattices

  • Source: Science of Computer Programming. Sep2014, Vol. 89 Issue Part A, p23-40. 18p.

Record details

Read More Add to Saved list
×
Academic Journal

Step coverability algorithms for communicating systems

Subjects: *COMMUNICATION; *ALGORITHMS; *DISTRIBUTED algorithms

  • Source: Science of Computer Programming. Jul2012, Vol. 77 Issue 7/8, p955-967. 13p.

Record details

Read More Add to Saved list
×
Academic Journal

Error checking with client-driven pointer analysis

Subjects: *COMPUTER programming; *ALGORITHMS; *COMPUTER algorithms

  • Source: Science of Computer Programming. Oct2005, Vol. 58 Issue 1/2, p83-114. 32p.

Record details

Read More Add to Saved list
×
Academic Journal

Mining quantified temporal rules: Formalism, algorithms, and evaluation

Subjects: *ALGORITHMS; *LIBRARIES; *THEORY of constraints

  • Source: Science of Computer Programming. Jun2012, Vol. 77 Issue 6, p743-759. 17p.

Record details

Read More Add to Saved list
×
Academic Journal

Deadlock and starvation free reentrant readers–writers: A case study combining model checking with theorem proving

Subjects: *ALGORITHMS; *AUTOMATIC theorem proving; *CASE studies

  • Source: Science of Computer Programming. Feb2011, Vol. 76 Issue 2, p82-99. 18p.

Record details

Read More Add to Saved list
×
Academic Journal

The IELR(1) algorithm for generating minimal LR(1) parser tables for non-LR(1) grammars with conflict resolution

Subjects: *ALGORITHMS; *COMPUTER software development; *PARSING (Computer grammar)

  • Source: Science of Computer Programming. Nov2010, Vol. 75 Issue 11, p943-979. 37p.

Record details

Read More Add to Saved list
×
  • 1-10 of  68 results for ""ALGORITHMS""