527 search results - page 44 / 106 » Case Study: System Model of Crane and Embedded Control |
CSMR
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper describes a case study where SofTrack a Software Defect Report and Tracking System - was implemented using internet technology in a geographically distributed organizat...
110
click to vote
CODES
2007
IEEE
15 years 4 months ago
2007
IEEE
Instruction Set Simulation (ISS) is widely used in system evaluation and software development for embedded processors. Despite the significant advancements in the ISS technology,...
DFG
2004
Springer
15 years 3 months ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
COMCOM
2010
14 years 9 months ago
2010
We study the interaction between the MIMD (Multiplicative Increase Multiplicative Decrease) congestion control and a bottleneck router with Drop Tail buffer. We consider the probl...
98
Voted
RTCSA
2006
IEEE
15 years 3 months ago
2006
IEEE
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...