3053 search results - page 577 / 611 » Hybrid Systems Diagnosis |
ENTCS
2007
13 years 8 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
TKDE
1998
13 years 8 months ago
1998
—There is an ever-increasing demand for more complex transactions and higher throughputs in transaction processing systems leading to higher degrees of transaction concurrency an...
TCOS
2010
13 years 3 months ago
2010
With the increasing wealth of digital information stored on computer systems today, security issues have become increasingly important. In addition to attacks targeting the softwar...
SPAA
2012
ACM
11 years 11 months ago
2012
ACM
GPU-based heterogeneous clusters continue to draw attention from vendors and HPC users due to their high energy efficiency and much improved single-node computational performance...
IPPS
2009
IEEE
14 years 3 months ago
2009
IEEE
In the past few years, there has been a trend of providing increased computing power through greater number of cores on a chip, rather than through higher clock speeds. In order t...