key data structures | Sciweavers

69

ICTAC
2010
Springer

228views Applied Computing» more ICTAC 2010»

Formal Modelling of Separation Kernel Components

14 years 5 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 »

78

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

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

58

click to vote

ISCAPDCS
2003

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

Parallel Relative Debugging with Dynamic Data Structures

14 years 8 months 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