452 search results - page 68 / 91 » Symbolic Execution of Behavioral Requirements |
105
Voted
CGO
2004
IEEE
15 years 4 months ago
2004
IEEE
Pre-execution techniques have received much attention as an effective way of prefetching cache blocks to tolerate the everincreasing memory latency. A number of pre-execution tech...
119
Voted
CONEXT
2009
ACM
15 years 1 months ago
2009
ACM
Software bugs in routers lead to network outages, security vulnerabilities, and other unexpected behavior. Rather than simply crashing the router, bugs can violate protocol semant...
103
Voted
ICS
2007
Tsinghua U.
15 years 6 months ago
2007
Tsinghua U.
Sensitivity Analysis (SA) is a novel compiler technique that complements, and integrates with, static automatic parallelization analysis for the cases when relevant program behavi...
108
Voted
AGENTS
2001
Springer
15 years 5 months ago
2001
Springer
Recent years are seeing an increasing need for on-line monitoring of deployed distributed teams of cooperating agents, e.g., for visualization, or performance tracking. However, i...
148
click to vote
TAOSD
2010
14 years 11 months ago
2010
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...