3782 search results - page 443 / 757 » Engineering Social Order |
153
click to vote
ISPASS
2007
IEEE
16 years 29 days ago
2007
IEEE
Recent research advocates address-correlating predictors to identify cache block addresses for prefetch. Unfortunately, address-correlating predictors require correlation data sto...
156
click to vote
KBSE
2007
IEEE
16 years 29 days ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
184
Voted
MOMPES
2007
IEEE
16 years 29 days ago
2007
IEEE
The alignment of the software architecture and the functional requirements of a system is a demanding task because of the difficulty in tracing design elements to requirements. Th...
190
click to vote
QSIC
2007
IEEE
16 years 29 days ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
138
Voted
SCAM
2007
IEEE
16 years 29 days ago
2007
IEEE
Program dependence graphs are a well-established device to represent possible information flow in a program. Path conditions in dependence graphs have been proposed to express mo...