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

14 years 10 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

14 years 10 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

15 years 11 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

15 years 3 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

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers