360 search results - page 25 / 72 » Scalable Analysis of Linear Systems Using Mathematical Progr... |
125
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
219
click to vote
GIS
2007
ACM
16 years 3 months ago
2007
ACM
Given a transportation network, a vulnerable population, and a set of destinations, evacuation route planning identifies routes to minimize the time to evacuate the vulnerable pop...
135
click to vote
CODES
2009
IEEE
15 years 9 months ago
2009
IEEE
The FlexRay bus is the prospective automotive standard communication system. For the sake of a high flexibility, the protocol includes a static time-triggered and a dynamic event...
141
click to vote
ISSS
1995
IEEE
15 years 5 months ago
1995
IEEE
This paper presents a system level design methodology and its implementation as CAD tool for the optimization of heterogeneous multiprocessor systems. These heterogeneous systems,...
156
click to vote
ICPADS
1994
IEEE
15 years 6 months ago
1994
IEEE
Testingthe performance scalabilityof parallelprograms can be a time consuming task, involving many performance runs for different computer configurations, processor numbers, and p...