Search Sciweavers | Sciweavers

23201 search results - page 327 / 4641

» Rewriting Systems with Data

149

click to vote

VMCAI
2007
Springer

89views Software Engineering» more VMCAI 2007»

Using First-Order Theorem Provers in the Jahob Data Structure Verification System

16 years 1 months ago

Download www.mit.edu

Charles Bouillaguet, Viktor Kuncak, Thomas Wies, K...

claim paper

Read More »

158

click to vote

ICDE
2006
IEEE

176views Database» more ICDE 2006»

Control-Based Load Shedding in Data Stream Management Systems

16 years 1 months ago

Download www.csee.usf.edu

Yi-Cheng Tu, Sunil Prabhakar

claim paper

Read More »

159

click to vote

IEEECIT
2006
IEEE

83views Information Technology» more IEEECIT 2006»

System and User Data Complexity

16 years 1 months ago

Download www.rcdl2006.uniyar.ac.ru

I. E. Kuralenok, A. V. Utkin, V. V. Klyuev

claim paper

Read More »

145

click to vote

IPCCC
2006
IEEE

107views Communications» more IPCCC 2006»

Data replication in collaborative sensor network systems

16 years 1 months ago

Download www.ifis.uni-luebeck.de

Denis Gracanin, Kevin P. Adams, Mohamed Eltoweissy

claim paper

Read More »

167

click to vote

IPPS
2006
IEEE

114views Distributed And Parallel Com...» more IPPS 2006»

I/O conscious algorithm design and systems support for data analysis on emerging architectures

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers