4719 search results - page 457 / 944 » Newtonian program analysis |
196
click to vote
FOSSACS
2007
Springer
16 years 29 days ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
178
click to vote
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...
173
click to vote
CNSR
2006
IEEE
16 years 26 days ago
2006
IEEE
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...
165
click to vote
DSN
2006
IEEE
16 years 26 days ago
2006
IEEE
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
162
click to vote
APSEC
2005
IEEE
16 years 13 days ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...