1016 search results - page 97 / 204 » Automatic Analysis of Programming Assignments |
147
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Determining beforehand specific positions to align (anchor points) has proved valuable for the accuracy of automated multiple sequence alignment (MSA) software. This f...
165
Voted
CCS
2011
ACM
14 years 3 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
135
Voted
CAV
2007
Springer
15 years 9 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
159
Voted
DAC
2005
ACM
16 years 4 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
152
Voted
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...