2253 search results - page 371 / 451 » Computing with Realizational Morphology |
112
click to vote
ENTCS
2008
15 years 26 days ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
77
Voted
IJBC
2008
15 years 24 days ago
2008
Abstract-- In this paper, we propose a robust hyperchaotic system that is practically serviceable in digital securecommunication. The system consists of many coupled robust logisti...
104
Voted
EOR
2006
15 years 24 days ago
2006
The robust spanning tree problem is a variation, motivated by telecommunications applications, of the classic minimum spanning tree problem. In the robust spanning tree problem ed...
124
click to vote
FGCS
2006
15 years 24 days ago
2006
At iGrid2005, we conducted a live demonstration where our Grid scheduling system co-allocated computing and network resources with advance reservation through Web services interfa...
119
Voted
CCR
2007
15 years 24 days ago
2007
As networks grow in size and complexity, network management has become an increasingly challenging task. Many protocols have tunable parameters, and optimization is the process of...