Sciweavers

826 search results - page 38 / 166
» Resolving Concurrent Interactions
Sort
View
CLUSTER
2007
IEEE
15 years 6 months ago
Identifying energy-efficient concurrency levels using machine learning
Abstract-- Multicore microprocessors have been largely motivated by the diminishing returns in performance and the increased power consumption of single-threaded ILP microprocessor...
Matthew Curtis-Maury, Karan Singh, Sally A. McKee,...
CORR
2006
Springer
169views Education» more  CORR 2006»
15 years 2 months ago
Concurrently Non-Malleable Zero Knowledge in the Authenticated Public-Key Model
We consider a type of zero-knowledge protocols that are of interest for their practical applications within networks like the Internet: efficient zero-knowledge arguments of knowl...
Yi Deng, Giovanni Di Crescenzo, Dongdai Lin
ECBS
2009
IEEE
164views Hardware» more  ECBS 2009»
15 years 9 months ago
Semantically Enhanced Containers for Concurrent Real-Time Systems
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
Damian Dechev, Peter Pirkelbauer, Nicolas Rouquett...
118
Voted
JFP
2010
107views more  JFP 2010»
15 years 28 days ago
Lightweight checkpointing for concurrent ML
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
Lukasz Ziarek, Suresh Jagannathan
ICSE
2009
IEEE-ACM
15 years 9 months ago
Improving bug tracking systems
It is important that information provided in bug reports is relevant and complete in order to help resolve bugs quickly. However, often such information trickles to developers aft...
Thomas Zimmermann, Rahul Premraj, Jonathan Sillito...