540 search results - page 17 / 108 » Mathematical programming based debugging |
143
click to vote
VL
2006
IEEE
15 years 10 months ago
2006
IEEE
Visula is a general-purpose object-oriented visual programming language (VPL). The language uses a new approach, by basing its notation upon UML sequence diagrams, instead of trad...
138
click to vote
ERLANG
2004
ACM
15 years 9 months ago
2004
ACM
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...
239
click to vote
LISP
2006
15 years 4 months ago
2006
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
132
click to vote
ERSHOV
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
107
click to vote
AISS
2010
15 years 1 months ago
2010
A mathematical multi objective model for the selection of a portfolio of investment is presented and its application in the Mexican Stock Exchange (BMV). The multi objective model...