2356 search results - page 138 / 472 » Characterizations of postman sets |
122
Voted
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents a new LogP-based model, called LoOgGP, which allows an accurate characterization of MPI applications based on microbenchmark measurements. This new model is an...
134
Voted
ISPW
2007
IEEE
15 years 11 months ago
2007
IEEE
The formalization of process definitions has been an invaluable aid in many domains. However, noticeable variations in processes start to emerge as precise details are added to pro...
121
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— Characterizing optimal paths for mobile robots is an interesting, important, and challenging endeavor. Not only they are interesting with respect to the optimized criteria, but...
109
Voted
COLT
2003
Springer
15 years 10 months ago
2003
Springer
A mere bounded number of random bits judiciously employed by a probabilistically correct algorithmic coordinator is shown to increase the power of learning to coordinate compared ...
119
click to vote
SOFSEM
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we define partial order semantics of types of nets. Types of nets are a parametric definition of Petri nets originally developed for a general presentation of the s...