5189 search results - page 145 / 1038 » Modeling architectural patterns using architectural primitiv... |
TPHOL
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper outlines a formal model of the Intel IA-64 architecture, and explains how this model can be used to verify the correctness of assembly-level code optimizations. The form...
94
Voted
ESM
1998
15 years 2 months ago
1998
In order to reduce the cost, the time-to-market and to make the most pertinent choices, it becomes essential to allow designers to evaluate, very soon in the design phase, a given...
ISPEC
2005
Springer
15 years 6 months ago
2005
Springer
We present an architecture for detecting “zero-day” worms and viruses in incoming email. Our main idea is to intercept every incoming message, prescan it for potentially danger...
108
click to vote
JUCS
2007
15 years 15 days ago
2007
: Motion estimation from image sequences is a complex problem which requires high computing resources and is highly affected by changes in the illumination conditions in most of th...
102
Voted
ESEC
1997
Springer
15 years 4 months ago
1997
Springer
Software architectures shift developers’ focus from lines-of-code to coarser-grained architectural elements and their interconnection structure. Architecture description language...