1411 search results - page 212 / 283 » Interactive Coding for Interactive Proofs |
246
click to vote
ICDE
2000
IEEE
16 years 6 months ago
2000
IEEE
This paper describes the methodology and the software development of XWRAP, an XML-enabled wrapper construction system for semi-automatic generation of wrapper programs. By XML-ena...
125
Voted
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
136
Voted
SI3D
2006
ACM
15 years 10 months ago
2006
ACM
Shade Trees Morgan McGuire George Stathis Hanspeter Pfister Shriram Krishnamurthi Brown University Harvard Extension School MERL Brown University As GPU-powered special effects be...
146
click to vote
SIGITE
2004
ACM
15 years 10 months ago
2004
ACM
“The Multi-User Programming Pedagogy for Enhancing Traditional Study” (MUPPETS) system has been under development at RIT for the last three years. This multi-user environment ...
129
click to vote
JAVA
1999
Springer
15 years 9 months ago
1999
Springer
CT With the development of dynamic compilers for Java, Java’s performance promises to rival that of equivalent C/C++ binary executions. This should ensure that Java will become t...