Search Sciweavers | Sciweavers

23201 search results - page 327 / 4641

» Rewriting Systems with Data

136

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 27 days ago

Download www.mit.edu

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

claim paper

Read More »

139

click to vote

ICDE
2006
IEEE

176views Database» more ICDE 2006»

Control-Based Load Shedding in Data Stream Management Systems

16 years 25 days ago

Download www.csee.usf.edu

Yi-Cheng Tu, Sunil Prabhakar

claim paper

Read More »

139

click to vote

IEEECIT
2006
IEEE

83views Information Technology» more IEEECIT 2006»

System and User Data Complexity

16 years 25 days ago

Download www.rcdl2006.uniyar.ac.ru

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

claim paper

Read More »

127

click to vote

IPCCC
2006
IEEE

107views Communications» more IPCCC 2006»

Data replication in collaborative sensor network systems

16 years 25 days ago

Download www.ifis.uni-luebeck.de

Denis Gracanin, Kevin P. Adams, Mohamed Eltoweissy

claim paper

Read More »

149

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 25 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers