Search Sciweavers | Sciweavers

10669 search results - page 89 / 2134

» Software - Implemented Self-healing System

136

click to vote

VMCAI
2012
Springer

257views Software Engineering» more VMCAI 2012»

Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs

13 years 11 months ago

Download www4.in.tum.de

We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...

Tobias Nipkow

claim paper

Read More »

click to vote

RTSS
1999
IEEE

88views Control Systems» more RTSS 1999»

System-Level Issues for Software Thread Integration: Guest Triggering and Host Selection

15 years 8 months ago

Download www.cesr.ncsu.edu

Alexander G. Dean, John Paul Shen

claim paper

Read More »

124

click to vote

RSP
1998
IEEE

99views Control Systems» more RSP 1998»

Rapid Prototyping of Embedded Hardware/Software Systems

15 years 8 months ago

Download www.hse.ru

Klaus Buchenrieder

claim paper

Read More »

click to vote

LISA
2004

64views Operating System» more LISA 2004»

Nix: A Safe and Policy-Free System for Software Deployment

15 years 5 months ago

Download www.cs.uu.nl

Eelco Dolstra, Merijn de Jonge, Eelco Visser

claim paper

Read More »

157

click to vote

FROCOS
2009
Springer

154views Control Systems» more FROCOS 2009»

Building SMT-Based Software Model Checkers: An Experience Report

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers