Search Sciweavers | Sciweavers

29172 search results - page 399 / 5835

» Modeling Systems in CLP

152

click to vote

SOFSEM
2007
Springer

93views Theoretical Computer Science» more SOFSEM 2007»

Model-Checking Large Finite-State Systems and Beyond

16 years 29 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 27 days ago

Download www12.informatik.uni-erlangen.de

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

claim paper

Read More »

176

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 27 days ago

Download home.mit.bme.hu

Zoltán Micskei, István Majzik

claim paper

Read More »

120

click to vote

DSD
2006
IEEE

115views Hardware» more DSD 2006»

Abstract Application Modeling for System Design Space Exploration

16 years 27 days ago

Download www.tsi.enst.fr

Muhammad Waseem, Ludovic Apvrille, Rabéa Am...

claim paper

Read More »

169

Voted

ICARCV
2006
IEEE

90views Robotics» more ICARCV 2006»

Modeling Mobility Agents in Supervisory and Controlling Systems Based on Nets within Nets

16 years 27 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers