9049 search results - page 213 / 1810 » The New C Standard |
172
click to vote
CCR
2004
15 years 6 months ago
2004
This paper emphasizes the need for methodological frameworks for analysis and design of large scale networks which are independent of specific design innovations and their advocac...
177
click to vote
BELL
2000
15 years 6 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...
148
click to vote
CTW
2002
15 years 6 months ago
2002
: Information Systems (IS) and technology are used extensively throughout the NHS, and the 1998 national information strategy, "Information for Health", sets out how the ...
163
click to vote
AIEDAM
1998
15 years 6 months ago
1998
Gradient-based numerical optimization of complex engineering designs offers the promise of rapidly producing better designs. However, such methods generally assume that the object...
203
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...