Sciweavers

613 search results - page 28 / 123
» An analysis framework for network-code programs
Sort
View
ICCD
2002
IEEE
113views Hardware» more  ICCD 2002»
15 years 2 months ago
A Framework for Data Prefetching Using Off-Line Training of Markovian Predictors
An important technique for alleviating the memory bottleneck is data prefetching. Data prefetching solutions ranging from pure software approach by inserting prefetch instructions...
Jinwoo Kim, Krishna V. Palem, Weng-Fai Wong
FASE
2005
Springer
15 years 3 months ago
Kaveri: Delivering the Indus Java Program Slicer to Eclipse
This tool paper describes a modular program slicer for Java built using the Indus program analysis framework along with it’s Eclipse-based user interface called Kaveri. Indus pro...
Ganeshan Jayaraman, Venkatesh Prasad Ranganath, Jo...
83
Voted
ICLP
1998
Springer
15 years 1 months ago
Program Specialisation and Abstract Interpretation Reconciled
Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract inter...
Michael Leuschel
69
Voted
BIRTHDAY
2006
Springer
15 years 1 months ago
Data Flow Analysis for CCS
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
Hanne Riis Nielson, Flemming Nielson
PLILP
1992
Springer
15 years 1 months ago
Strictness Analysis for Attribute Grammars
Attribute grammars may be seen as a (rather specialised) lazy or demand-driven programming language. The "programs" in this language take text or parse trees as input an...
Mads Rosendahl