2125 search results - page 212 / 425 » On Graph Complexity |
119
click to vote
ALGOSENSORS
2009
Springer
15 years 9 months ago
2009
Springer
Sensor networks, with their ad hoc deployments, node mobility, and wireless communication, pose serious challenges for developing provably correct and efficient applications. A po...
118
click to vote
TOOLS
2010
IEEE
15 years 8 months ago
2010
IEEE
Supporting read-only and side effect free execution has been the focus of a large body of work in the area of statically typed programming languages. Read-onlyness in dynamically t...
124
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
139
click to vote
ECRTS
2008
IEEE
15 years 9 months ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
121
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Given a directed acyclic graph with labeled vertices, we consider the problem of finding the most common label sequences ("traces") among all paths in the graph (of some...