Search Sciweavers | Sciweavers

13917 search results - page 78 / 2784

» Abstraction of Probabilistic Systems

click to vote

ATAL
2008
Springer

81views Intelligent Agents» more ATAL 2008»

Models and algorithmic approaches for cooperative multi-robot systems: thesis abstract

14 years 11 months ago

Download www.aamas-conference.org

Noa Agmon

claim paper

Read More »

click to vote

ASPDAC
2005
ACM

83views Hardware» more ASPDAC 2005»

Abstracting functionality for modular performance analysis of hard real-time systems

14 years 11 months ago

Download www.artist-embedded.org

Ernesto Wandeler, Lothar Thiele

claim paper

Read More »

click to vote

EMSOFT
2008
Springer

91views Software Engineering» more EMSOFT 2008»

State space abstraction for parameterized self-stabilizing embedded systems

14 years 11 months ago

Download users.eecs.northwestern.edu

Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Pri...

claim paper

Read More »

click to vote

EMSOFT
2008
Springer

78views Software Engineering» more EMSOFT 2008»

Event order abstraction for parametric real-time system verification

14 years 11 months ago

Download www.cecs.uci.edu

Shinya Umeno

claim paper

Read More »

click to vote

CATS
2007

63views Applied Computing» more CATS 2007»

Termination of Abstract Reduction Systems

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers