1053 search results - page 30 / 211 » On k-Path Covers and their applications |
FORTE
1998
13 years 10 months ago
1998
: In this paper a co-design methodology based on multiformalism modelling is presented. It defines a platform that integrates different notations and, the necessary mechanisms to h...
CLUSTER
2008
IEEE
14 years 3 months ago
2008
IEEE
—Several performance analysis tools support hybrid applications. Most originated as MPI profiling or tracing tools and OpenMP capabilities were added to extend the performance a...
SGAI
2005
Springer
14 years 2 months ago
2005
Springer
This paper details the application of geometric proportional analogies in the sub-classification of polygons within a topographic (land cover) map. The first part of this paper co...
FTDCS
2003
IEEE
14 years 2 months ago
2003
IEEE
Interoperability and reusability are major issues in large-scale software system development. Military applications, one of such large scale software systems, have utilized the Co...
BIRTHDAY
2007
Springer
14 years 26 days ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...