1016 search results - page 108 / 204 » Automatic Analysis of Programming Assignments |
121
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
145
click to vote
RECOMB
2005
Springer
16 years 3 months ago
2005
Springer
Abstract. The Pathalyzer is a program for analyzing large-scale signal transduction networks. Reactions and their substrates and products are represented as transitions and places ...
120
Voted
IISWC
2008
IEEE
15 years 10 months ago
2008
IEEE
—A whiteboard that automatically identifies drawn strokes, interprets them in context, and augments drawn images with computational results, such as solutions to mathematical eq...
126
Voted
SIGCOMM
1997
ACM
15 years 7 months ago
1997
ACM
We describe tcpanaly, a tool for automatically analyzing a TCP implementation's behavior by inspecting packet traces of the TCP's activity. Doing so requires surmounting...
119
Voted
AINA
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...