Search Sciweavers | Sciweavers

3856 search results - page 53 / 772

» Models for Automated Earthmoving

click to vote

ACSD
2004
IEEE

90views Hardware» more ACSD 2004»

A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models

14 years 1 months ago

Download ece.ut.ac.ir

Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoor...

claim paper

Read More »

click to vote

COMPSAC
2001
IEEE

133views Software Engineering» more COMPSAC 2001»

JBOORET: an Automated Tool to Recover OO Design and Source Models

14 years 1 months ago

Download people.engr.ncsu.edu

Hong Mei, Tao Xie, Fuqing Yang

claim paper

Read More »

click to vote

PPOPP
1995
ACM

127views Distributed and Parallel Com...» more PPOPP 1995»

High-Level Optimization via Automated Statistical Modeling

14 years 1 months ago

Download people.cs.ubc.ca

Eric A. Brewer

claim paper

Read More »

click to vote

EUROMICRO
2009
IEEE

150views Software Engineering» more EUROMICRO 2009»

Multi-level Modeling for Industrial Automation Systems

14 years 1 months ago

Download embeddedcmmi.at

Thomas Aschauer, Gerd Dauenhauer, Wolfgang Pree

claim paper

Read More »

click to vote

EXACT
2007

71views Applied Computing» more EXACT 2007»

Generating Explanations using an Automated Planner and Modeling Reasoning Processes, Skills and Knowledge

14 years 7 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers