5090 search results - page 951 / 1018 » Constructing Strategies for Programming |
118
Voted
CGO
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper describes an algorithm that takes a trace (i.e., a sequence of numbers or vectors of numbers) as input, and from that produces a sequence of loop nests that, when run, ...
112
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
149
Voted
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents an analysis of microarray gene expression data from patients with and without scleroderma skin disease using computational intelligence and visual data mining ...
137
Voted
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— Efficient and scalable live-streaming overlay construction has become a hot topic recently. In order to improve the performance metrics, such as startup delay, source-to-end de...
123
Voted
SENSYS
2006
ACM
15 years 8 months ago
2006
ACM
Computing and maintaining network structures for efficient data aggregation incurs high overhead for dynamic events where the set of nodes sensing an event changes with time. Mor...