12118 search results - page 399 / 2424 » User interface tools |
154
click to vote
PVM
1998
Springer
15 years 11 months ago
1998
Springer
This paper describes WMPI1 , the first full implementation of the Message Passing Interface standard (MPI) for clusters of Microsoft's Windows platforms (Win32). Its internal ...
167
click to vote
SIGADA
2004
Springer
16 years 3 days ago
2004
Springer
Refactoring is a technique for restructuring code to improve its design. A tool for automatically applying refactoring transformations to Ada 95 programs is described. The tool is...
197
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
140
click to vote
AAAI
2000
15 years 8 months ago
2000
Developing tools that allow non-programmers to enter knowledge has been an ongoing challenge for AI. In recent years researchers have investigated a variety ofpromising approaches...
165
click to vote
AIED
2007
Springer
16 years 29 days ago
2007
Springer
TuTalk supports the rapid development of dialogue agents for learning applications. It enables an experimenter to create a dialogue agent with either minimal or no programming and ...