key data structures | Sciweavers

38

ICTAC
2010
Springer

228views Applied Computing» more ICTAC 2010»

Formal Modelling of Separation Kernel Components

13 years 10 months ago

Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...

Andrius Velykis, Leo Freitas

claim paper

Read More »

49

click to vote

SIGCSE
2002
ACM

149views Education» more SIGCSE 2002»

A comprehensive project for CS2: combining key data structures and algorithms into an integrated web browser and search engine

13 years 11 months ago

Download www.cs.swarthmore.edu

We present our experience using a large, real-world application as a course project for the second half of the semester of a CS2 course. Our primary goal for the project was to cr...

Tia Newhall, Lisa Meeden

claim paper

Read More »

30

click to vote

ISCAPDCS
2003

148views Distributed And Parallel Com...» more ISCAPDCS 2003»

Parallel Relative Debugging with Dynamic Data Structures

14 years 25 days ago

Download www.csse.monash.edu.au

This paper discusses the use of “relative debugging” as a technique for locating errors in a program that has been ported or developed using evolutionary software engineering ...

David Abramson, Raphael A. Finkel, Donny Kurniawan...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers