5012 search results - page 642 / 1003 » Distributed Error Correction |
172
click to vote
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...
148
Voted
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper we investigate a realistic code acquisition assisted cooperative Non-Coherent (NC) Multiple-Input Multiple-Output (MIMO) DS-CDMA downlink scenario, when communica...
177
click to vote
ICDCSW
2008
IEEE
16 years 1 months ago
2008
IEEE
Automated addition of fault-tolerance to existing programs is highly desirable, as it allows the designer to focus on the system behavior in the absence of faults and leave the fa...
166
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
162
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper, we introduce a routing solution called “Landmark Overlays for Urban Vehicular Routing Environments” (LOUVRE), an approach that efficiently builds a landmark ...