2212 search results - page 146 / 443 » Automated software wrapping |
143
click to vote
PTS
2010
15 years 2 months ago
2010
We present an application of learning-based testing to the problem of automated test case generation (ATCG) for numerical software. Our approach uses n-dimensional polynomial model...
136
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
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...
132
click to vote
ICCD
2004
IEEE
16 years 1 months ago
2004
IEEE
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 ...
133
click to vote
ICNS
2009
IEEE
15 years 11 months ago
2009
IEEE
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...
127
click to vote
RTCSA
2006
IEEE
15 years 10 months ago
2006
IEEE
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...