1401 search results - page 139 / 281 » Tool Integration for Reasoned Programming |
107
Voted
DAC
2007
ACM
16 years 3 months ago
2007
ACM
The flip-chip package provides a high chip-density solution to the demand for more I/O pads of VLSI designs. In this paper, we present the first routing algorithm in the literatur...
132
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Coevolutionary systems like hosts and their parasites are commonly used model systems for evolutionary studies. Inferring the coevolutionary history based on given phy...
122
Voted
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
123
Voted
ACMSE
2004
ACM
15 years 8 months ago
2004
ACM
Java has emerged as one of the most dynamic programming languages today. During the past eight years it has become a leading choice as the programming language for an introductory...
115
Voted
IWPC
2009
IEEE
15 years 9 months ago
2009
IEEE
Understanding aspect-oriented systems, without appropriate tool support, is a difficult and a recognized problem in the research community. Surprisingly, little has been done to ...