Sciweavers

2127 search results - page 132 / 426
» Software Automation
Sort
View
DAC
1998
ACM
16 years 7 months ago
Software Synthesis of Process-Based Concurrent Programs
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
Bill Lin
ICCD
2004
IEEE
123views Hardware» more  ICCD 2004»
16 years 3 months ago
Software/Network Co-Simulation of Heterogeneous Industrial Networks Architectures
The work presents a modeling and analysis framework for heterogeneous industrial networks architectures which is based on a tight integration of a network simulator with embedded ...
Franco Fummi, Stefano Martini, Marco Monguzzi, Gio...
ICNS
2009
IEEE
16 years 1 months ago
Psychometric and Evidentiary Approaches to Simulation Assessment in Packet Tracer Software
Packet Tracer is a comprehensive instructional software application for teaching skills and concepts associated with computer networking. In addition to a wide range of simulation...
Dennis C. Frezzo, John T. Behrens, Robert J. Misle...
RTCSA
2006
IEEE
16 years 11 days ago
Automatic Generation and Validation of Models of Legacy Software
The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications an...
Joel Huselius, Johan Andersson, Hans Hansson, Sasi...
IWSOC
2003
IEEE
137views Hardware» more  IWSOC 2003»
15 years 11 months ago
Hardware Partitioning Software for Dynamically Reconfigurable SoC Design
CAD tools support is essential in the success of today digital system design methodologies. Unfortunately, most of the classical design tools do not take into account the possibil...
Philippe Brunet, Camel Tanougast, Yves Berviller, ...