4075 search results - page 508 / 815 » Modeling Distributed Algorithm Using B |
149
click to vote
SEMWEB
2007
Springer
16 years 25 days ago
2007
Springer
The design and maintenance of an aero-engine generates a significant amount of documentation. When designing new engines, engineers must obtain knowledge gained from maintenance o...
168
click to vote
SLIP
2006
ACM
16 years 20 days ago
2006
ACM
Manufacturable design requires matching of interconnects which have equal nominal dimensions. New design rules are projected to bring guarantee rules for interconnect matching. In...
188
click to vote
GECCO
2004
Springer
16 years 3 days ago
2004
Springer
Spiking neural networks are computationally more powerful than conventional artificial neural networks. Although this fact should make them especially desirable for use in evoluti...
149
click to vote
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
Most memory test algorithms are optimized tests for a particular memory technology and a particular set of fault models, under the assumption that the memory is bit-oriented; i.e....
170
click to vote
WSC
2007
15 years 9 months ago
2007
Typically, IT projects are delivered over-budget and behind schedule. In this paper, we explore the effects of common project management practices that contribute to these problem...