Search Sciweavers | Sciweavers

10871 search results - page 363 / 2175

» A stable programming language

147

click to vote

ICLP
2004
Springer

82views Automated Reasoning» more ICLP 2004»

Fast Query Evaluation with (Lazy) Control Flow Compilation

16 years 3 days ago

Download dtai.cs.kuleuven.be

Remko Tronçon, Gerda Janssens, Henk Vandeca...

claim paper

Read More »

143

click to vote

IFIP
2004
Springer

116views Programming Languages» more IFIP 2004»

Wrapping the future

16 years 2 days ago

Download www.cs.ncl.ac.uk

Tom Anderson, Brian Randell, Alexander B. Romanovs...

claim paper

Read More »

click to vote

IFIP
2004
Springer

84views Programming Languages» more IFIP 2004»

Dependable systems of the future - What is still needed?

16 years 2 days ago

Download www.laas.fr

Algirdas Avizienis

claim paper

Read More »

145

click to vote

IFIP
2004
Springer

98views Programming Languages» more IFIP 2004»

Is academic open source software dependable?

16 years 2 days ago

Download www.laas.fr

Shigeru Chiba

claim paper

Read More »

114

click to vote

IFIP
2004
Springer

112views Programming Languages» more IFIP 2004»

Linux: A multi-purpose executive support for civil avionics applications?

16 years 2 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers