6229 search results - page 1004 / 1246 » Models of Computation for Networks on Chip |
90
Voted
ICDCSW
2002
IEEE
15 years 5 months ago
2002
IEEE
In this paper, several enhanced sufficient conditions are given for minimal routing in 2-dimensional (2-D) meshes with faulty nodes contained in a set of disjoint faulty blocks. ...
114
click to vote
SC
1995
ACM
15 years 4 months ago
1995
ACM
In this paper we present an analytical-based framework for parallel program performance prediction. The main thrust of this work is to provide a means for treating realistic appli...
85
Voted
WSC
2004
15 years 1 months ago
2004
Traffic congestion is one of the worst problems in many countries. Traffic congestion wastes a huge portion of the national income for fuel and traffic-related environmental and s...
108
click to vote
ENTCS
2008
15 years 16 days ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
112
Voted
MP
2006
15 years 12 days ago
2006
We present a series of related robust optimization models for placing sensors in municipal water networks to detect contaminants that are maliciously or accidentally injected. We f...