2034 search results - page 328 / 407 » On the Comparability of Software Clustering Algorithms |
ISSTA
2004
ACM
14 years 1 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
COMPSAC
2002
IEEE
14 years 28 days ago
2002
IEEE
In this paper, an effective content-based visual image retrieval system is presented. This system consists of two main components: visual content extraction and indexing, and quer...
IPPS
1998
IEEE
14 years 6 days ago
1998
IEEE
Instruction scheduling methods based on the construction of state diagrams (or automata) have been used for architectures involving deeply pipelined function units. However, the s...
ICCAD
1993
IEEE
1993
IEEE
Hardware/software resolution of pipeline hazards in pipeline synthesis of instruction set processors
14 years 2 days ago
— One major problem in pipeline synthesis is the detection and resolution of pipeline hazards. In this paper we present a new solution to the problem in the domain of pipelined a...
UIST
1994
ACM
14 years 19 hour ago
1994
ACM
Communication is about people, not machines. But as firms and families alike spread out geographically, we rely increasingly on telecommunications tools to keep us "connected...