1401 search results - page 155 / 281 » Tool Integration for Reasoned Programming |
113
click to vote
CP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
116
click to vote
DOA
2000
15 years 2 months ago
2000
XML has emerged as the universal standard for exchanging and externalizing data. Software products of all kinds are being upgraded to "support XML." Typically this means...
72
Voted
CIMCA
2005
IEEE
15 years 7 months ago
2005
IEEE
We present an approach used in CSDTA (Canonical Sequence Directed Tactics Analyzer) that uses canonical sequences (Joseki) in hoping to improve computer Go programs. We collect 12...
DAC
2005
ACM
15 years 3 months ago
2005
ACM
The purpose of this paper is to present the required tools for the development, testing and verification of DSP software in Matlab. The paper motivates a DSP Simulator concept tha...
ICLP
1999
Springer
15 years 5 months ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...