Search Sciweavers | Sciweavers

29143 search results - page 203 / 5829

» A Sortation System Model

140

click to vote

PROMAS
2007
Springer

137views Intelligent Agents» more PROMAS 2007»

Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking

16 years 17 days ago

Download www.uni-koblenz.de

Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...

claim paper

Read More »

144

click to vote

SOFSEM
2007
Springer

93views Theoretical Computer Science» more SOFSEM 2007»

Model-Checking Large Finite-State Systems and Beyond

16 years 16 days ago

Download www.sofsem.cz

Lubos Brim, Mojmír Kretínský

claim paper

Read More »

click to vote

DATE
2006
IEEE

50views Hardware» more DATE 2006»

Task-accurate performance modeling in SystemC for real-time multi-processor architectures

16 years 15 days ago

Download www12.informatik.uni-erlangen.de

Martin Streubühr, Joachim Falk, Christian Hau...

claim paper

Read More »

170

click to vote

DEPCOS
2006
IEEE

93views Hardware» more DEPCOS 2006»

Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers

16 years 15 days ago

Download home.mit.bme.hu

Zoltán Micskei, István Majzik

claim paper

Read More »

115

click to vote

DSD
2006
IEEE

115views Hardware» more DSD 2006»

Abstract Application Modeling for System Design Space Exploration

16 years 15 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers