6456 search results - page 887 / 1292 » Constraint Solving on Terms |
161
click to vote
INFOCOM
2005
IEEE
16 years 12 days ago
2005
IEEE
— In this paper, we model and characterize the performance of multihop radio networks in the presence of energy constraints, and design routing algorithms to optimally utilize th...
184
click to vote
ISQED
2005
IEEE
16 years 12 days ago
2005
IEEE
Hierarchical approach greatly facilitates large-scale chip design by hiding distracting details in low-level objects. However, the lowlevel designs have to have a global view of h...
165
Voted
ITCC
2005
IEEE
16 years 12 days ago
2005
IEEE
Design patterns document good design solutions to a recurring problem in a particular context. They are typically modeled using UML. In practice, however, pattern-related informat...
196
click to vote
KBSE
2005
IEEE
16 years 12 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
182
click to vote
RTSS
2005
IEEE
16 years 12 days ago
2005
IEEE
Periodic update transaction model has been used to maintain freshness (or temporal validity) of real-time data. Period and deadline assignment has been the main focus in the past ...