808 search results - page 118 / 162 » Pattern Discovery and Computational Mechanics |
213
click to vote
HPCA
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract—Sharing patterns in shared-memory multiprocessors are the key to performance: uniprocessor latencytolerating techniques such as out-of-order execution and non-blocking c...
157
click to vote
KIVS
1999
Springer
15 years 10 months ago
1999
Springer
Abstract Charging schemes are needed to protect an integrated services network from arbitrary resource reservations and to create a funding mechanism to extend network capacity at ...
194
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
Detecting errors in an early phase of software development can help to reduce the cost of software systems. Many research attempts presented a fixed set of rules to help finding e...
196
click to vote
MOBIQUITOUS
2008
IEEE
16 years 21 days ago
2008
IEEE
Mobile ad hoc networks can be leveraged to provide ubiquitous services capable of acquiring, processing, and sharing real-time information from the physical world. Unlike Internet...
190
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...