Search Sciweavers | Sciweavers

3458 search results - page 6 / 692

» Abstracting Control

click to vote

ATVA
2010
Springer

153views Hardware» more ATVA 2010»

Non-monotonic Refinement of Control Abstraction for Concurrent Programs

13 years 7 months ago

Download www.model.in.tum.de

ion for Concurrent Programs Ashutosh Gupta, Corneliu Popeea, and Andrey Rybalchenko Technische Universit

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenk...

claim paper

Read More »

click to vote

ICSE
2008
IEEE-ACM

99views Software Engineering» more ICSE 2008»

Model-driven configuration of os-level mandatory access control: research abstract

14 years 7 months ago

Download qe-informatik.uibk.ac.at

Berthold Agreiter

claim paper

Read More »

click to vote

FLOPS
2010
Springer

246views Automated Reasoning» more FLOPS 2010»

Delimited Control in OCaml, Abstractly and Concretely: System Description

14 years 2 months ago

Download okmij.org

Oleg Kiselyov

claim paper

Read More »

click to vote

IROS
2009
IEEE

175views Robotics» more IROS 2009»

A discrete grid abstraction for formation control in the presence of obstacles

14 years 2 months ago

Download www.fer.hr

Damjan Miklic, Stjepan Bogdan, Sanjin Nestic, Rafa...

claim paper

Read More »

click to vote

SIPS
2007
IEEE

85views Signal Processing» more SIPS 2007»

Rapid Abstract Control Model for Signal Processing Implementation

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers