3706 search results - page 197 / 742 » The Transformational Approach to Program Development |
130
click to vote
CSCW
2002
ACM
15 years 2 months ago
2002
ACM
This paper analyses the collaborative design of a high-technology product, a neuromagnetometer used in the analysis of the activity of the human cortex. The producer, Neuromag Com...
136
click to vote
WWW
2006
ACM
2006
ACM
XML screamer: an integrated approach to high performance XML parsing, validation and deserialization
16 years 3 months ago
This paper describes an experimental system in which customized high performance XML parsers are prepared using parser generation and compilation techniques. Parsing is integrated...
147
click to vote
WFLP
2000
Springer
15 years 6 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
112
click to vote
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We obtain new results regarding the precise average bitcomplexity of five algorithms of a broad Euclidean type. We develop a general framework for analysis of algorithms,...
109
click to vote
ICSM
2005
IEEE
15 years 8 months ago
2005
IEEE
Software merging is a common and essential activity during the lifespan of large-scale software systems. Traditional textual merge techniques are inadequate for detecting syntacti...