Sciweavers

13593 search results - page 488 / 2719
» Performance Analysis of MD5
Sort
View
WORDS
2002
IEEE
16 years 2 days ago
Schedulability Analysis of an Event-Based Real-Time Protocol Framework
This paper presents a method to analyze the timing behavior of an event-based real-time protocol composition framework. The framework, called RT-Appia, allows the development and ...
João Rodrigues, João Ventura, Lu&iac...
DATE
1997
IEEE
97views Hardware» more  DATE 1997»
15 years 11 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 11 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 11 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 11 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