1559 search results - page 189 / 312 » The Semantics of Future and Its Use in Program Optimizations |
136
click to vote
CP
2007
Springer
16 years 7 days ago
2007
Springer
As SAT becomes more popular due to its ability to handle large real-world problems, progress in efficiency appears to have slowed down over the past few years. On the other hand, w...
196
Voted
ISPD
1997
ACM
15 years 10 months ago
1997
ACM
The wire sizing problem under inequality Elmore delay constraints is known to be posynomial, hence convex under an exponential variable-transformation. There are formal methods fo...
168
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
179
click to vote
AIPS
2000
15 years 7 months ago
2000
1 We consider the problem of scheduling an unknown sequence of tasks for a single server as the tasks arrive with the goal off maximizing the total weighted value of the tasks serv...
211
click to vote
SEMCO
2007
IEEE
16 years 10 days ago
2007
IEEE
Discriminative training has been a leading factor for improving automatic speech recognition (ASR) performance over the last decade. The traditional discriminative training, howev...