2698 search results - page 176 / 540 » Software Process Model Blueprints |
144
click to vote
CBSE
2004
Springer
15 years 7 months ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
112
click to vote
JCP
2008
15 years 2 months ago
2008
Abstract--In this paper, we report some results on hardware and software co-design of an adaptive linear neuron (ADALINE) based control system. A discrete-time Proportional-Integra...
123
click to vote
BELL
2000
15 years 2 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
114
click to vote
FSTTCS
2005
Springer
15 years 8 months ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
107
click to vote
WSC
1998
15 years 3 months ago
1998
Java-based simulation presents a unique opportunity for revolutionary changes in the process of developing simulation models and in the mission of the simulation software firms th...