Sciweavers

3130 search results - page 249 / 626
» Design Correctness of Digital Systems
Sort
View
131
Voted
WSC
2004
15 years 5 months ago
Better Selection of the Best
We present a new method of selecting the best of several competing system designs on the basis of expected steadystate performance. The method uses a new form of timeseries bootst...
Huaiyu Harry Ma, Thomas R. Willemain
ISPAN
1997
IEEE
15 years 8 months ago
A New General Purpose Parallel Database System
This paper is concerned with the transparent parallelisation of declarative database queries, based on theoretical principles. We have designed an entire database architecture sui...
Mohamad Afshar, J. Bates, Gavin M. Bierman, K. Moo...
ISCA
2007
IEEE
142views Hardware» more  ISCA 2007»
15 years 10 months ago
MetaTM//TxLinux: transactional memory for an operating system
This paper quantifies the effect of architectural design decisions on the performance of TxLinux. TxLinux is a Linux kernel modified to use transactions in place of locking prim...
Hany E. Ramadan, Christopher J. Rossbach, Donald E...
MICRO
2008
IEEE
162views Hardware» more  MICRO 2008»
15 years 4 months ago
MetaTM/TxLinux: Transactional Memory for an Operating System
This paper quantifies the effect of architectural design decisions on the performance of TxLinux. TxLinux is a Linux kernel modified to use transactions in place of locking primit...
Hany E. Ramadan, Christopher J. Rossbach, Donald E...
ICDCS
2003
IEEE
15 years 9 months ago
Elastic Vector Time
In recent years there has been an increasing demand to build ”soft” real-time applications on top of asynchronous distributed systems. Designing and implementing such applicat...
Christof Fetzer, Michel Raynal