1204 search results - page 79 / 241 » Termination of Polynomial Programs |
114
Voted
ECEASST
2008
15 years 21 days ago
2008
Abstract: Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. T...
114
Voted
JUCS
2007
15 years 16 days ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
98
Voted
TASE
2007
IEEE
15 years 7 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
ICCS
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we develop a dynamic stochastic programming model for bond portfolio management. A new risk measurement-shortfall cost is put forward. It allows more tangible express...
113
Voted
DAC
2009
ACM
15 years 5 months ago
2009
ACM
We propose GRIP, a scalable global routing technique via Integer Programming (IP). GRIP optimizes wirelength and via cost without going through a layer assignment phase. GRIP sele...