967 search results - page 110 / 194 » Automated benchmarking and analysis tool |
121
Voted
TASE
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we propose a fine-grained coupling metrics suite for aspect-oriented (AO) systems, to measure software changes during system evolution. We also present a correlati...
126
Voted
3DPVT
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper a novel method for 3D content-based search and retrieval is proposed. Guided by the imperative need for a reliable 3D content based search tool and the very interest...
137
Voted
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Video is about to conquer the Internet. Real-time delivery of video content is technically possible to any desktop and mobile device, even with modest connections. The main proble...
131
Voted
DAC
1994
ACM
15 years 7 months ago
1994
ACM
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
136
click to vote
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Craig interpolation has become a versatile tool in formal verification, for instance to generate intermediate assertions for safety analysis of programs. Interpolants are typically...