Sciweavers

13631 search results - page 495 / 2727
» Event-Based Performance Analysis
Sort
View
IEEEPACT
2002
IEEE
15 years 11 months ago
Speculative Alias Analysis for Executable Code
Optimizations performed at link time or directly applied to final program executables have received increased attention in recent years. Such low-level optimizations can benefit...
Manel Fernández, Roger Espasa
DATE
1997
IEEE
97views Hardware» more  DATE 1997»
15 years 10 months ago
Analysis of 3D conjugate heat transfers in electronics
An efficient method for the analysis of real 3D conjugate heat transfer for electronic devices is presented. This methodology is based on the coupling of two software : a conducti...
J. P. Fradin, L. Molla, B. Desaunettes
ASAP
1996
IEEE
96views Hardware» more  ASAP 1996»
15 years 10 months ago
Kestrel: A Programmable Array for Sequence Analysis
Kestrel is a programmable linear array processor designed for sequence analysis. Among other features, Kestrel includes an 8-bit word, a single-cycle add-and-minimize instruction, ...
Jeffrey D. Hirschberg, Richard Hughey, Kevin Karpl...
LOPSTR
1994
Springer
15 years 10 months ago
Using Call/Exit Analysis for Logic Program Transformation
A technique for transformation of definite logic programs is presented. A first phase performs an analysis of the extended call/exit patterns of the source program. It is shown tha...
Dmitri Boulanger, Maurice Bruynooghe
DALT
2004
Springer
15 years 10 months ago
Norm Verification and Analysis of Electronic Institutions
Electronic institutions are a formalism to define and analyse protocols among agents with a view to achieving global and individual goals. In this paper we propose a definition of ...
Wamberto Weber Vasconcelos