Sciweavers

7103 search results - page 453 / 1421
» Components and Generative Programming
Sort
View
DSD
2009
IEEE
124views Hardware» more  DSD 2009»
16 years 1 months ago
Network-on-Chip Architecture Exploration Framework
— In this paper, we present a novel framework for the automated generation of Network-on-Chips (NoC) architectures, that enables architecture exploration and optimization. The au...
Timo Schönwald, Jochen Zimmermann, Oliver Bri...
TOOLS
2008
IEEE
16 years 1 months ago
Guarded Program Transformations Using JTL
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
Tal Cohen, Joseph Gil, Itay Maman
IWMM
2004
Springer
101views Hardware» more  IWMM 2004»
16 years 6 days ago
Region analysis and transformation for Java programs
This paper presents a region analysis and transformation framework for Java programs. Given an input Java program, the compiler automatically translates it into an equivalent outp...
Sigmund Cherem, Radu Rugina
ICLP
1999
Springer
15 years 11 months ago
Bounded Nondeterminism of Logic Programs
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...
Dino Pedreschi, Salvatore Ruggieri
CORR
2011
Springer
179views Education» more  CORR 2011»
15 years 1 months ago
T2Script Programming Language
Event-driven programming is used in many fields of modern Computer Science. In event-driven programming languages user interacts with a program by triggering the events. We propo...
Piotr J. Puczynski