Sciweavers

11784 search results - page 188 / 2357

» Interpolation for data structures

114

Voted

CADE
2005
Springer

117views Logical Reasoning» more CADE 2005»

Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures

16 years 3 months ago

Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures

Download www.cs.wisc.edu

Greta Yorsh, Neil Immerman, Shmuel Sagiv, Siddhart...

claim paper

Read More »

173

SIGMOD
2007
ACM

157views Database» more SIGMOD 2007»

Leveraging data and structure in ontology integration

16 years 3 months ago

Leveraging data and structure in ontology integration

Download www.cse.buffalo.edu

Lise Getoor, Octavian Udrea, Renée J. Mille...

claim paper

Read More »

113

SODA
2010
ACM

409views Algorithms» more SODA 2010»

Data Structures for Range Minimum Queries in Multidimensional Arrays

16 years 21 days ago

Data Structures for Range Minimum Queries in Multidimensional Arrays

Download www.cs.purdue.edu

Given a d-dimensional array A with N entries, the Range Minimum Query (RMQ) asks for the minimum element within a contiguous subarray of A. The 1D RMQ problem has been studied int...

Hao Yuan, Mikhail J. Atallah

claim paper

Read More »

95

Voted

APSEC
2009
IEEE

162views Software Engineering» more APSEC 2009»

Web Services Composition by I/O Data Structure Correspondences

15 years 10 months ago

Web Services Composition by I/O Data Structure Correspondences

Download www.se.sie.dendai.ac.jp

Qiushi Wang, Osamu Shigo

claim paper

Read More »

105

Voted

PLDI
2009
ACM

119views Programming Languages» more PLDI 2009»

Lightweight annotations for controlling sharing in concurrent data structures

15 years 10 months ago

Lightweight annotations for controlling sharing in concurrent data structures

Download www.cs.berkeley.edu

Zachary R. Anderson, David Gay, Mayur Naik

claim paper

Read More »

« Prev « First page 188 / 2357 Last » Next »