2700 search results - page 420 / 540 » The role of abstraction in software engineering |
188
click to vote
FASE
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Spreadsheets are notoriously error-prone. To help avoid the introduction of errors when changing spreadsheets, models that capture the structure and interdependencies of ...
190
click to vote
COMPSAC
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—Statistical fault localization techniques find suspicious faulty program entities in programs by comparing passed and failed executions. Existing studies show that such ...
206
click to vote
ARCS
2012
Springer
14 years 2 months ago
2012
Springer
Abstract: In this paper, we present an acceleration method for texture-based ray casting on the compute unified device architecture (CUDA) compatible graphics processing unit (GPU...
207
click to vote
FOSSACS
2012
Springer
14 years 2 months ago
2012
Springer
Coalgebra offers a unified theory of state based systems, including infinite streams, labelled transition systems and deterministic automata. In this paper, we use the coalgebrai...
171
click to vote
IUI
2012
ACM
14 years 1 months ago
2012
ACM
Recent computer vision approaches are aimed at richer image interpretations that extend the standard recognition of objects in images (e.g., cars) to also recognize object attribu...