Search Sciweavers | Sciweavers

15254 search results - page 384 / 3051

» A k

159

click to vote

ICLP
1992
Springer

87views Automated Reasoning» more ICLP 1992»

Understanding Finiteness Analysis Using Abstract Interpretation

15 years 11 months ago

Download www.cs.arizona.edu

Peter A. Bigot, Saumya K. Debray, Kim Marriott

claim paper

Read More »

121

click to vote

IPPS
1992
IEEE

93views Distributed And Parallel Com...» more IPPS 1992»

Visualization of a Simple Routing Scheme for Meshes

15 years 11 months ago

Download www.cs.ou.edu

Nelson Ge, John K. Antonio, Sharada V. Vitalpur

claim paper

Read More »

130

click to vote

IPPS
1992
IEEE

89views Distributed And Parallel Com...» more IPPS 1992»

Modeling and Control of Distributed Asynchronous Computations

15 years 11 months ago

Download www.cs.ou.edu

Longsong Lin, John K. Antonio

claim paper

Read More »

174

click to vote

MFCS
1992
Springer

93views Theoretical Computer Science» more MFCS 1992»

On Range Searching with Semialgebraic Sets

15 years 11 months ago

Download biogeometry.duke.edu

Pankaj K. Agarwal, Jirí Matousek

claim paper

Read More »

155

click to vote

RTSS
1992
IEEE

131views Control Systems» more RTSS 1992»

Application Semantics and Concurrency Control of Real-Time Data-Intensive Applications

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers