28 search results - page 3 / 6 » Conflict analysis in mixed integer programming |
117
Voted
APLAS
2010
ACM
14 years 11 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
116
Voted
DISOPT
2010
15 years 1 months ago
2010
In this paper, a variant of the Traveling Salesman Problem with Time Windows is considered, which consists in minimizing the sum of travel durations between a depot and several cu...
107
Voted
ICCD
2004
IEEE
15 years 10 months ago
2004
IEEE
Network-on-chip (NoC) has been proposed as a solution for the communication challenges of System-on-chip (SoC) design in the nanoscale regime. SoC design offers the opportunity fo...
138
Voted
SIGMOD
2012
ACM
13 years 3 months ago
2012
ACM
In this demo, we will present Tiresias, the first how-to query engine. How-to queries represent fundamental data analysis questions of the form: “How should the input change in...
170
Voted
TCAD
2010
14 years 7 months ago
2010
For real-time applications, it is necessary to estimate the worst-case performance early in the design process without actual hardware implementation. While the non-preemptive task...