1987 search results - page 294 / 398 » Structural Model: Architecture for Software Designers |
133
click to vote
FTCS
1998
15 years 5 months ago
1998
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
119
click to vote
CHARME
2001
Springer
15 years 8 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
150
click to vote
ISCA
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper explores the design space of MMU caches that accelerate virtual-to-physical address translation in processor architectures, such as x86-64, that use a radix tree page t...
175
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
The Hierarchical Hidden Markov Model (HHMM) is a well formalized tool suitable to model complex patterns in long temporal or spatial sequences. Even if effective algorithms are ava...
149
click to vote
ESAW
2006
Springer
15 years 7 months ago
2006
Springer
The research on exception handling in Multi-Agent Systems has produced some advanced models to deal with `exceptional situations'. The expression `agent exception' is how...