2251 search results - page 373 / 451 » Specification and Implementation Problems for C |
112
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...
179
click to vote
FGCS
2008
15 years 6 months ago
2008
Many scientific and engineering applications involve inverting large matrices or solving systems of linear algebraic equations. Solving these problems with proven algorithms for d...
139
Voted
FS
2006
15 years 6 months ago
2006
Abstract. We present an iterative procedure for computing the optimal Bermudan stopping time, hence the Bermudan Snell envelope. The method produces an increasing sequence of appro...
156
Voted
DSS
2007
15 years 6 months ago
2007
Corporate collaboration allows organizations to improve the efficiency and quality of their business activities. It may occur as a workflow collaboration, a supply chain collabora...
145
Voted
NPL
2006
15 years 6 months ago
2006
A novel neural network model is described that implements context-dependent learning of complex sequences. The model utilises leaky integrate-and-fire neurons to extract timing inf...