2272 search results - page 77 / 455 » Validity Invariants and Effects |
135
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Multiple-input multiple-output (MIMO) systems are being considered as one of the key enabling technologies for future wireless networks. However, the decrease in capacity due to th...
133
Voted
JIRS
2010
15 years 2 months ago
2010
Currently, robotic rotorcraft determine landing zones based on visual cues or predetermined GPS waypoints. Missions such as perch-and-stare or cargo delivery demand the ability to ...
135
Voted
TON
2010
14 years 10 months ago
2010
In this paper, we present a novel multiperiod spraying algorithm for routing in delay-tolerant networks (DTNs). The goal is to minimize the average copy count used per message unti...
112
Voted
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper focuses on checking safety properties for sequential circuits specified on the RT-level. We study how different state encodings can be used to create a gate-level repr...
111
Voted
ECOOPWEXCEPTION
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents a set of concepts and design techniques that has proven successful in implementing and using C++ libraries intended for applications that simultaneously require...