3328 search results - page 4 / 666 » On Plateaued Functions and Their Constructions |
EMSOFT
2005
Springer
13 years 11 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
TACAS
2000
Springer
13 years 9 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
POPL
2012
ACM
12 years 1 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
LPAR
2012
Springer
12 years 1 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...
APJOR
2007
13 years 6 months ago
2007
: In this paper we deal with the construction of gap functions for variational inequalities by using an approach which bases on the conjugate duality. Under certain assumptions we ...