601 search results - page 35 / 121 » An Optimality Principle for Concurrent Systems |
DAC
2011
ACM
12 years 8 months ago
2011
ACM
This paper presents a simulation toolset for estimating the impact of Trusted Platform Modules (TPMs) on the performance of applications that use TPM services, especially in multi...
EUROCAST
2007
Springer
14 years 19 days ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
CODES
2010
IEEE
13 years 6 months ago
2010
IEEE
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying prin...
HIPEAC
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. In transactional memory, aborted transactions reduce performance, and waste computing resources. Ideally, concurrent execution of transactions should be optimally ordered...
KDD
2005
ACM
14 years 9 months ago
2005
ACM
With an increasing use of data mining tools and techniques, we envision that a Knowledge Discovery and Data Mining System (KDDMS) will have to support and optimize for the followi...