35 search results - page 5 / 7 » Automating Verification of Cooperation, Control, and Design ... |
PEWASUN
2004
ACM
13 years 11 months ago
2004
ACM
This paper studies the performance of a multi-rate mobile ad hoc network (MANET) using an extended ns-2 simulator. A link adaptation algorithm is developed and tested. The multi-r...
GROUP
2007
ACM
13 years 9 months ago
2007
ACM
This work presents experiences with the adopting of a workflow management system in a large financial institution. We describe the gradual evolution of a traditional work process,...
DAC
2005
ACM
14 years 6 months ago
2005
ACM
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
GI
2007
Springer
13 years 12 months ago
2007
Springer
: An new object oriented development suite for data fusion is presented. It is shown how the various issues in the data fusion development like design, implementation, simulation a...
MOBISYS
2008
ACM
14 years 5 months ago
2008
ACM
Wireless interfaces are major power consumers on mobile systems. Considerable research has improved the energy efficiency of elongated idle periods or created more elongated idle ...