5863 search results - page 775 / 1173 » Calculating Functional Programs |
194
Voted
ERLANG
2003
ACM
16 years 21 days ago
2003
ACM
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...
196
Voted
FCT
2003
Springer
16 years 20 days ago
2003
Springer
: 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 ...
193
Voted
ECCV
2010
Springer
16 years 15 days ago
2010
Springer
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...
185
click to vote
ICSM
2002
IEEE
16 years 11 days ago
2002
IEEE
Incremental changes add new functionality and properties to software. They are the core of software evolution, maintenance, iterative development, agile development, and similar s...
173
click to vote
CDC
2009
IEEE
16 years 5 days ago
2009
IEEE
— 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...