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

15 years 2 months 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 »

Voted

DAC
1999
ACM

116views Computer Architecture» more DAC 1999»

Description and Simulation of Hardware/Software Systems with Java

15 years 10 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

15 years 10 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

15 years 10 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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers