2342 search results - page 427 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
139
Voted
ISSTA
2007
ACM
15 years 5 months ago
2007
ACM
As concurrent and distributive applications are becoming more common and debugging such applications is very difficult, practical tools for automatic debugging of concurrent appl...
106
click to vote
ICCAD
2005
IEEE
16 years 16 days ago
2005
IEEE
A novel and very simple correct-by-construction top-down methodology for high-utilization mixed-size placement is presented. The PolarBear algorithm combines recursive cutsize-dri...
155
Voted
CCS
2010
ACM
15 years 11 days ago
2010
ACM
Cryptographic systems and protocols are the core of many Internet security procedures (such as SSL, SSH, IPSEC, DNSSEC, secure mail, etc.). At the heart of all cryptographic funct...
148
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
162
Voted
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...