3221 search results - page 396 / 645 » Termination of Linear Programs |
174
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Navigating and understanding the source code of a program are highly challenging activities. This paper introduces a fisheye view of source code to a Java programming environment....
160
click to vote
ESOP
2007
Springer
16 years 21 days ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
198
click to vote
PLDI
2006
ACM
16 years 14 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
176
click to vote
SIGSOFT
2006
ACM
16 years 14 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
169
click to vote
FOCS
2005
IEEE
16 years 4 days ago
2005
IEEE
Stochastic optimization problems provide a means to model uncertainty in the input data where the uncertainty is modeled by a probability distribution over the possible realizatio...