4716 search results - page 439 / 944 » Iterative-free program analysis |
175
click to vote
CNSR
2006
IEEE
16 years 27 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...
166
click to vote
DSN
2006
IEEE
16 years 27 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 14 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...
151
click to vote
TAPIA
2005
ACM
16 years 12 days ago
2005
ACM
The current paper presents research that investigates those factors that affect the recruitment and retention of women and African Americans in the computing sciences. We begin by...
164
click to vote
EMO
2005
Springer
16 years 11 days ago
2005
Springer
Water systems often allow efficient water uses via water reuse and/or recirculation. Defining the network layout connecting water-using processes is a complex problem which involv...