1710 search results - page 223 / 342 » High-Level Programs and Program Conditions |
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
We present an effective static deadlock detection algorithm for Java. Our algorithm uses a novel combination of static analyses each of which approximates a different necessary co...
ERSHOV
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We present an algorithm for generating all polynomial invariants of Psolvable loops with assignments and nested conditionals. We prove termination of our algorithm. The p...
IFIP
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents the saturation throughput analysis of IEEE 802.11g (ERP-OFDM) networks. The presented work is based on the Markov model previously introduced and validated by t...
TRIDENTCOM
2006
IEEE
14 years 3 months ago
2006
IEEE
- Rendezvous among experiment entities appear in network experiments both implicitly and explicitly. When the driving system for a network experiment testbed supports such rendezvo...
CP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We present an incomplete filtering algorithm for the circuit constraint. The filter removes redundant values by eliminating nonHamiltonian edges from the associated gra...