5159 search results - page 286 / 1032 » Structural Testing of Executables |
168
click to vote
LICS
1992
IEEE
15 years 11 months ago
1992
IEEE
The aim of this paper is to find the finest `observable' and `implementable' equivalence on concurrent processes. This is a part of a larger programme to develop a theor...
205
click to vote
FM
2006
Springer
15 years 11 months ago
2006
Springer
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
210
click to vote
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
Hand-drawn diagrams present a complex recognition problem. Elements of the diagram are often individually ambiguous, and require context to be interpreted. We present a recognitio...
217
click to vote
WEBI
2009
Springer
16 years 1 months ago
2009
Springer
The emergence of scale free and small world properties in real world complex networks has stimulated lots of activity in the field of network analysis. An example of such a netwo...
216
click to vote
ICPADS
2008
IEEE
16 years 1 months ago
2008
IEEE
Network virtual environments (NVE) are an evolving trend combining millions of users in an interactive community. A distributed NVE platform promises to lower the administration c...