Search Sciweavers | Sciweavers

25 search results - page 1 / 5

» cc 2002

click to vote

CC
2002
Springer

144views System Software» more CC 2002»

Compiler Construction Using LOTOS NT

13 years 9 months ago

Download ftp.inrialpes.fr

Hubert Garavel, Frédéric Lang, Radu ...

claim paper

Read More »

click to vote

CC
2002
Springer

82views System Software» more CC 2002»

A Representation for Bit Section Based Analysis and Optimization

13 years 9 months ago

Download www.cs.ucr.edu

Rajiv Gupta, Eduard Mehofer, Youtao Zhang

claim paper

Read More »

click to vote

CADE
2002
Springer

142views Logical Reasoning» more CADE 2002»

AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description

14 years 10 months ago

Download eprints.ecs.soton.ac.uk

Bernd Fischer 0002, Johann Schumann, Michael W. Wh...

claim paper

Read More »

click to vote

IEEEPACT
2002
IEEE

66views Distributed And Parallel Com...» more IEEEPACT 2002»

The Use of Prediction for Accelerating Upgrade Misses in cc-NUMA Multiprocessors

14 years 2 months ago

Download moss.csc.ncsu.edu

Manuel E. Acacio, José González, Jos...

claim paper

Read More »

click to vote

TKDE
2002

98views more TKDE 2002»

A Study of Concurrency Control in Real-Time, Active Database Systems

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers