6171 search results - page 147 / 1235 » The FrameNet Data and Software |
IWPC
2002
IEEE
14 years 2 months ago
2002
IEEE
Program comprehension tools extract, organize and analyze information about the design and implementation of software systems. Before tools can exchange information, they must sha...
MSE
2002
IEEE
14 years 2 months ago
2002
IEEE
With the increasing demand and popularity of multimedia streaming applications over the current Internet, manipulating MPEG streams in a real-time software manner is gaining more ...
CODES
1996
IEEE
14 years 1 months ago
1996
IEEE
The design of multi-dimensional systems using hardware/software codesign allows a significant improvement in the development cycle. This paper presents a technique that enables a ...
HVC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
IJCAI
2007
13 years 11 months ago
2007
Some Statistical Software Testing approaches rely on sampling the feasible paths in the control flow graph of the program; the difficulty comes from the tiny ratio of feasible p...