Sciweavers

5090 search results - page 205 / 1018
» Constructing Strategies for Programming
Sort
View
DBPL
2007
Springer
136views Database» more  DBPL 2007»
14 years 3 months ago
Analysis of Imperative XML Programs
The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing impera...
Michael G. Burke, Igor Peshansky, Mukund Raghavach...
FASE
2007
Springer
14 years 3 months ago
Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies
Aspects are defined as well-modularized crosscutting concerns. Despite being a core tenet of Aspect Oriented Programming, little research has been done in characterizing and measur...
Roberto E. Lopez-Herrejon, Sven Apel
INFORMATICALT
2007
127views more  INFORMATICALT 2007»
13 years 9 months ago
Composition of Loop Modules in the Structural Blanks Approach to Programming with Recurrences: A Task of Synthesis of Nested Loo
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
Vytautas Cyras
ICCAD
2010
IEEE
158views Hardware» more  ICCAD 2010»
13 years 7 months ago
Novel binary linear programming for high performance clock mesh synthesis
Clock mesh is popular in high performance VLSI design because it is more robust against variations than clock tree at a cost of higher power consumption. In this paper, we propose ...
Minsik Cho, David Z. Pan, Ruchir Puri
CORR
2012
Springer
232views Education» more  CORR 2012»
12 years 5 months ago
A Formal Comparison of Approaches to Datatype-Generic Programming
-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been proposed...
José Pedro Magalhães, Andres Lö...