6740 search results - page 716 / 1348 » Using Classification as a Programming Language |
171
click to vote
IFIP
2005
Springer
16 years 16 days ago
2005
Springer
In this paper we analyze the electricity portfolio problem of a big consumer in a multi-stage stochastic programming framework. Stochasticity enters the model via the uncertain spo...
195
click to vote
CONCUR
2004
Springer
16 years 13 days ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
150
click to vote
ICALP
2004
Springer
16 years 12 days ago
2004
Springer
We give a simple formulation of Karr’s algorithm for computing all affine relationships in affine programs. This simplified algorithm runs in time O(nk3 ) where n is the progr...
216
click to vote
WORDS
2003
IEEE
16 years 9 days ago
2003
IEEE
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...
163
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...