Sciweavers

4895 search results - page 597 / 979
» Functional Quantum Programming
Sort
View
ERLANG
2003
ACM
15 years 12 months ago
All you wanted to know about the HiPE compiler: (but might have been afraid to ask)
We present a user-oriented description of features and characteristics of the High Performance Erlang (HiPE) native code compiler, which nowadays is part of Erlang/OTP. In particu...
Konstantinos F. Sagonas, Mikael Pettersson, Richar...
170
Voted
FCT
2003
Springer
15 years 12 months ago
Membrane Computing
: In this paper a comparison is provided between the membrane computing systems and the graphical interfaces of operating systems. A membrane computing system is a computing model ...
Gheorghe Paun
168
Voted
ECCV
2010
Springer
15 years 11 months ago
MRF Inference by k-Fan Decomposition and Tight Lagrangian Relaxation
We present a novel dual decomposition approach to MAP inference with highly connected discrete graphical models. Decompositions into cyclic k-fan structured subproblems are shown t...
ICSM
2002
IEEE
15 years 11 months ago
A Case Study of Unanticipated Incremental Change
Incremental changes add new functionality and properties to software. They are the core of software evolution, maintenance, iterative development, agile development, and similar s...
Václav Rajlich, Prashant Gosavi
CDC
2009
IEEE
138views Control Systems» more  CDC 2009»
15 years 11 months ago
Synthesis of a global asymptotic stabilizing feedback law for a system satisfying two different sector conditions
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...
Vincent Andrieu, Christophe Prieur, Sophie Tarbour...