2752 search results - page 46 / 551 » Rounding to an Integral Program |
IADIS
2008
13 years 10 months ago
2008
Programming and developing of small scale software applications can be accomplished with simple command-line compilers that can be used to compile, test, and execute code generati...
ARITH
2007
IEEE
14 years 3 months ago
2007
IEEE
Numerical integration is an operation that is frequently available in multiple precision numerical software packages. The different quadrature schemes used are considered well stu...
ICCE
2007
13 years 10 months ago
2007
: In multiple research literatures, successful collaborative problem solving and learning is analyzed in terms of success of information sharing. In this paper we report analyses o...
ICLP
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
TACAS
1997
Springer
14 years 26 days ago
1997
Springer
The Kimwitu system is a meta-tool that supports the construction of programs (tools) that operate on trees or terms. The system supports open multi-paradigm programming, in that i...