Search Sciweavers | Sciweavers

885 search results - page 14 / 177

» A Software Architecture for Industrial Automation

click to vote

ICSE
2009
IEEE-ACM

131views Software Engineering» more ICSE 2009»

Automating Structural Testing of C Programs: Experience with PathCrawler

14 years 5 days ago

Download delahaye.whilefalse.com

Structural testing is widely used in industrial veriﬁcation processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...

Bernard Botella, Mickaël Delahaye, Sté...

claim paper

Read More »

click to vote

DAC
1999
ACM

116views Computer Architecture» more DAC 1999»

Description and Simulation of Hardware/Software Systems with Java

14 years 8 months ago

Download www.cs.ucr.edu

Tommy Kuhn, Wolfgang Rosenstiel, Udo Kebschull

claim paper

Read More »

click to vote

DAC
2004
ACM

122views Computer Architecture» more DAC 2004»

Automatic translation of software binaries onto FPGAs

14 years 8 months ago

Download www.cs.ucr.edu

Gaurav Mittal, David Zaretsky, Xiaoyong Tang, Prit...

claim paper

Read More »

click to vote

DAC
2001
ACM

97views Computer Architecture» more DAC 2001»

High-level Software Energy Macro-modeling

14 years 8 months ago

Download www.princeton.edu

Tat Kee Tan, Anand Raghunathan, Ganesh Lakshminara...

claim paper

Read More »

click to vote

DAC
2002
ACM

111views Computer Architecture» more DAC 2002»

Complex library mapping for embedded software using symbolic algebra

14 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers