Sciweavers

403 search results - page 25 / 81
» Contracts for higher-order functions
Sort
View
ICC
2007
IEEE
155views Communications» more  ICC 2007»
15 years 6 months ago
Automatic Digital Signal Types Recognition Using SI-NN and HOS
— Recognition of digital signal type is an important topic for various applications. In this paper a method is presented that identifies different types of digital signals. This ...
Ataollah Ebrahimzadeh, Mehrdad Ardebilipour, Alire...
IFL
2007
Springer
146views Formal Methods» more  IFL 2007»
15 years 5 months ago
A Supercompiler for Core Haskell
Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs. These high-level features present many challenges...
Neil Mitchell, Colin Runciman
CBSE
2004
Springer
15 years 5 months ago
Extra-Functional Contract Support in Components
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
Olivier Defour, Jean-Marc Jézéquel, ...
ICNS
2008
IEEE
15 years 6 months ago
Definition and Evaluation of Penalty Functions in SLA Management Framework
The paper presents an analysis of the possibilities of defining penalty functions to be used in SLA management frameworks. As a basis for the analysis, a brief survey of metrics u...
Jacek Kosinski, Dominik Radziszowski, Krzysztof Zi...
IDEAL
2005
Springer
15 years 5 months ago
Recursive Self-organizing Map as a Contractive Iterative Function System
Recently, there has been a considerable research activity in extending topographic maps of vectorial data to more general data structures, such as sequences or trees. However, the ...
Peter Tiño, Igor Farkas, Jort van Mourik