4722 search results - page 458 / 945 » Representation-independent program analysis |
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...
151
click to vote
TAPIA
2005
ACM
16 years 11 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...
163
click to vote
EMO
2005
Springer
16 years 10 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...
195
click to vote
HIPC
2005
Springer
16 years 10 days ago
2005
Springer
Graph theoretic problems are representative of fundamental computations in traditional and emerging scientific disciplines like scientific computing, computational biology and b...