5790 search results - page 1095 / 1158 » Distributed programming with distributed authorization |
144
Voted
LCTRTS
2010
Springer
15 years 2 days ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
121
Voted
SIGSOFT
2010
ACM
15 years 1 days ago
2010
ACM
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
113
click to vote
SIGSOFT
2010
ACM
15 years 1 days ago
2010
ACM
Empirical studies of software defects rely on links between bug databases and program code repositories. This linkage is typically based on bug-fixes identified in developer-enter...
127
click to vote
PROMISE
2010
14 years 9 months ago
2010
Background: Automated diagnosis of software defects can drastically increase debugging efficiency, improving reliability and time-to-market. Current, low-cost, automatic fault dia...
123
click to vote
ASPLOS
2011
ACM
14 years 5 months ago
2011
ACM
Trace-based compilation is a promising technique for language compilers and binary translators. It offers the potential to expand the compilation scopes that have traditionally be...