220 search results - page 12 / 44 » Verifying a signature architecture: a comparative case study |
118
click to vote
ICPP
2006
IEEE
15 years 5 months ago
2006
IEEE
— This paper focuses on the transfer of large data in SMP systems. Achieving good performance for intranode communication is critical for developing an efficient communication s...
86
Voted
RTS
2008
14 years 11 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
99
Voted
VLDB
1992
ACM
15 years 3 months ago
1992
ACM
Recent developments in software and hardware changed the way database systems are built and operate. In this paper we present database architectures based on the Client Server par...
89
Voted
LCPC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...
DAC
2007
ACM
16 years 20 days ago
2007
ACM
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...