Search Sciweavers | Sciweavers

29172 search results - page 426 / 5835

» Modeling Systems in CLP

180

click to vote

NSDI
2008

113views Computer Networks» more NSDI 2008»

Towards a Model of Computer Systems Research

15 years 10 months ago

Download www.usenix.org

Thomas E. Anderson

claim paper

Read More »

155

click to vote

ATAL
2008
Springer

81views Intelligent Agents» more ATAL 2008»

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

15 years 9 months ago

Download www.aamas-conference.org

Noa Agmon

claim paper

Read More »

132

Voted

CAV
2008
Springer

78views Hardware» more CAV 2008»

QMC: A Model Checker for Quantum Systems

15 years 9 months ago

Download www.dcs.gla.ac.uk

Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papani...

claim paper

Read More »

173

click to vote

CBSE
2008
Springer

125views Software Engineering» more CBSE 2008»

Model Checking of Control-User Component-Based Parametrised Systems

15 years 9 months ago

Download www.fi.muni.cz

Pavlína Vareková, Ivana Cerná

claim paper

Read More »

184

click to vote

BIRTHDAY
2005
Springer

101views Applied Computing» more BIRTHDAY 2005»

Modelling Evolvable Systems: A Temporal Logic View

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers