2272 search results - page 77 / 455 » Validity Invariants and Effects |
CORR
2008
Springer
13 years 6 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...
JIRS
2010
13 years 6 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 ...
TON
2010
13 years 2 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...
DATE
2003
IEEE
14 years 1 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...
ECOOPWEXCEPTION
2000
Springer
14 years 1 days 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...