Sciweavers

1911 search results - page 287 / 383
» Program analysis for code duplication in logic programs
Sort
View
116
Voted
IPPS
2009
IEEE
15 years 9 months ago
High-level estimation and trade-off analysis for adaptive real-time systems
We propose a novel design estimation method for adaptive streaming applications to be implemented on a partially reconfigurable FPGA. Based on experimental results we enable accu...
Ingo Sander, Jun Zhu, Axel Jantsch, Andreas Herrho...
111
Voted
ICCD
2006
IEEE
115views Hardware» more  ICCD 2006»
15 years 11 months ago
Microarchitecture and Performance Analysis of Godson-2 SMT Processor
—This paper introduces the microarchitecture and logical implementation of SMT (Simultaneous Multithreading) improvement of Godson-2 processor which is a 64-bit, four-issue, out-...
Zusong Li, Xianchao Xu, Weiwu Hu, Zhimin Tang
EUC
2004
Springer
15 years 7 months ago
Construction of Distributed Object Group Framework and Its Execution Analysis Using Distributed Application Simulation
The Distributed Object Group Framework(DOGF) we constructed supports the grouping of distributed objects that are required for distributed application. From the DOGF, we manage dis...
Chang-Sun Shin, Chang-Won Jeong, Su-Chong Joo
ECBS
2007
IEEE
142views Hardware» more  ECBS 2007»
15 years 8 months ago
Model-Driven Engineering for Development-Time QoS Validation of Component-Based Software Systems
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
James H. Hill, Sumant Tambe, Aniruddha S. Gokhale
PPDP
2004
Springer
15 years 7 months ago
Characterizing strong normalization in a language with control operators
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...
Daniel J. Dougherty, Silvia Ghilezan, Pierre Lesca...