2055 search results - page 342 / 411 » Generic Model Refactorings |
155
click to vote
ISPDC
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a new approach for analyzing the performance of grid scheduling algorithms for tasks with dependencies. Finding the optimal procedures for DAG scheduling in Gr...
116
click to vote
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
ACIVS
2008
Springer
15 years 8 months ago
2008
Springer
In many real-world object recognition applications, texture plays a very important role. Much research has gone into texture-based segmentation methods, which focus on finding the...
110
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
—To understand how node mobility and Byzantine node failures affect connectivity of wireless multi-hop networks, this paper investigates resilience of geometric random graphs to ...
ICDCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Peer to peer (P2P) systems are moving from application specific architectures to a generic service oriented design philosophy. This raises interesting problems in connection with...