16725 search results - page 3006 / 3345 » Engineering Software Correctness |
160
click to vote
CODES
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper presents an approach to system-level optimization of error detection implementation in the context of fault-tolerant realtime distributed embedded systems used for safe...
163
Voted
AOSD
2011
ACM
14 years 12 months ago
2011
ACM
Block joinpoints allow programmers to explicitly mark regions of base code as “to be advised”, thus avoiding the need to extract the block into a method just for the sake of c...
172
click to vote
AROBOTS
2011
14 years 12 months ago
2011
Abstract— Many applications require teams of robots to cooperatively execute complex tasks. Among these domains are those where successful coordination solutions must respect con...
156
click to vote
CCR
2011
14 years 12 months ago
2011
Data collected using traceroute-based algorithms underpins research into the Internet’s router-level topology, though it is possible to infer false links from this data. One sou...
144
Voted
CCR
2011
14 years 12 months ago
2011
Many papers explain the drop of download performance when two TCP connections in opposite directions share a common bottleneck link by ACK compression, the phenomenon in which dow...