10707 search results - page 115 / 2142 » Designing executable abstractions |
101
click to vote
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...
191
Voted
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
We demonstrate the language Ferry and its editing, compilation, and execution environment FerryDeck. Ferry's type system and operations match those of scripting or programmin...
139
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
The paper presents a semi-automated technique for feature location in source code. The technique is based on combining information from two different sources: an execution trace, ...
121
click to vote
WECWIS
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper, we address the importance of efficient execution in electronic markets. Due to intense competition for profit opportunities, trading costs can represent a significa...
115
click to vote
SIGMOD
1999
ACM
15 years 7 months ago
1999
ACM
Query processing in data integration occurs over network-bound, autonomous data sources. This requires extensions to traditional optimization and execution techniques for three re...