Sciweavers

16844 search results - page 191 / 3369
» How to Design Programs
Sort
View
MASCOTS
1998
15 years 7 months ago
Caches as Filters: A New Approach to Cache Analysis
As the processor-memory performance gap continues to grow, so does the need for effective tools and metrics to guide the design of efficient memory hierarchies to bridge that gap....
Dee A. B. Weikle, Sally A. McKee, William A. Wulf
ICFP
2005
ACM
16 years 6 months ago
Acute: high-level programming language design for distributed computation
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
Peter Sewell, James J. Leifer, Keith Wansbrough, F...
PR
2007
111views more  PR 2007»
15 years 6 months ago
Design and formal proof of a new optimal image segmentation program with hypermaps
This article presents the design of a new functional 2D image segmentation algorithm by cell merging in a subdivision, its proof of total correctness, and the derivation of an opt...
Jean-François Dufourd
WWW
2001
ACM
16 years 7 months ago
XEBRA: The Design and Implementation of Integrated Programming Environment for XML Processing and Browsing
We present the design and implementation of XEBRA system. XEBRA is an integrated programming environment for XML processing and browsing on which users can build their own XML pro...
Norio Toyama, Yasuyuki Hirakawa, Takashi Hattori, ...
AGP
1998
IEEE
15 years 10 months ago
Some Design Issues in the Visualization of Constraint Logic Program Execution
Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of ...
Manuel Carro, Manuel V. Hermenegildo