1643 search results - page 64 / 329 » Consistability: Describing Usually Consistent Systems |
CLEAR
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we describe the AMIDA speaker dizarization system as it was submitted to the NIST Rich Transcription evaluation 2007 for conference room data. This is done in the con...
FDL
2003
IEEE
15 years 3 months ago
2003
IEEE
With System on Chip low power constraints becoming increasingly important, emphasis is moving to architectural level, optimum memory organisation and system run time management. T...
HICSS
1999
IEEE
15 years 2 months ago
1999
IEEE
Distributed Shared Memory (DSM) combines the scalability of loosely coupled multicomputer systems with the ease of usability of tightly coupled multiprocessors, and allows transpa...
HOTOS
1999
IEEE
15 years 2 months ago
1999
IEEE
Several operating systems projects revolve around moving functionality above or below the kernel "red line" to increase flexibility or performance. We describe how a gen...
CORR
2006
Springer
14 years 9 months ago
2006
Springer
We describe several technical tools that prove to be efficient for investigating the rewrite systems associated with an equational specification. These tools consist in introducing...