4074 search results - page 705 / 815 » Abstract Graph Transformation |
152
click to vote
MOBIHOC
2007
ACM
16 years 1 months ago
2007
ACM
We provide a general framework for the analysis of the capacity scaling properties in mobile ad-hoc networks with heterogeneous nodes and spatial inhomogeneities. Existing analyti...
143
click to vote
ICDCS
2009
IEEE
15 years 11 months ago
2009
IEEE
Users and administrators of large distributed systems are frequently in need of monitoring and management of its various components, data items and resources. Though there exist s...
126
click to vote
LCTRTS
2009
Springer
15 years 8 months ago
2009
Springer
The StreamIt programming model has been proposed to exploit parallelism in streaming applications on general purpose multicore architectures. The StreamIt graphs describe task, da...
124
click to vote
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
Bisimulation equivalence is decidable in polynomial time for both sequential and commutative normed context-free processes, known as BPA and BPP, respectively. Despite apparent sim...
145
click to vote
SASP
2008
IEEE
15 years 8 months ago
2008
IEEE
Different approaches have been proposed over the years for automatically transforming High-Level-Languages (HLL) descriptions of applications into custom hardware implementations. ...