6197 search results - page 1087 / 1240 » Sandbridge Software Tools |
156
click to vote
VMCAI
2009
Springer
15 years 12 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
153
click to vote
CODES
2009
IEEE
15 years 12 months ago
2009
IEEE
The FlexRay bus is the prospective automotive standard communication system. For the sake of a high flexibility, the protocol includes a static time-triggered and a dynamic event...
134
click to vote
COMPSAC
2009
IEEE
15 years 12 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
128
click to vote
CSMR
2009
IEEE
15 years 12 months ago
2009
IEEE
Extract Method has been recognized as one of the most important refactorings, since it decomposes large methods and can be used in combination with other refactorings for fixing a...
156
click to vote
FCCM
2009
IEEE
15 years 12 months ago
2009
IEEE
BLASTn is a tool universally used by biologists to identify similarities between nucleotide based biological genome sequences. This report describes an FPGA based hardware impleme...