2500 search results - page 244 / 500 » Specifying Behavior in C |
135
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
Reputation systems have been popular in estimating the trustworthiness and predicting the future behavior of nodes in a large-scale distributed system where nodes may transact wit...
157
click to vote
HYBRID
1999
Springer
15 years 8 months ago
1999
Springer
Continuous system dynamics can be described by, possibly large, systems of di erential equations. These can be either ordinary di erential equations (ODEs) or contain algebraic con...
136
click to vote
PLDI
1995
ACM
15 years 8 months ago
1995
ACM
Correctly predicting the direction that branches will take is increasingly important in today’s wide-issue computer architectures. The name program-based branch prediction is gi...
152
click to vote
CONEXT
2009
ACM
15 years 5 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...
152
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...