21437 search results - page 4085 / 4288 » Hardware |
184
click to vote
ATVA
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
172
click to vote
ATVA
2007
Springer
16 years 22 days ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
112
click to vote
BTW
2007
Springer
16 years 22 days ago
2007
Springer
: Stetig wachsende Datenmengen und hohe Verfügbarkeitsanforderungen an Datenbanken führen dazu, dass Wartungsarbeiten (wie z.B. Datenbankreorganisationen) oft nicht mehr (oder ni...
157
click to vote
BTW
2007
Springer
16 years 22 days ago
2007
Springer
: This is a position paper on multi-tenant databases. As motivation, it first describes the emerging marketplace of hosted enterprise services and the importance of using multi-ten...
174
click to vote
CAV
2007
Springer
16 years 22 days ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...