9931 search results - page 1585 / 1987 » Generative Modeling by PRISM |
189
Voted
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
Thermal effects are becoming increasingly important during integrated circuit design. Thermal characteristics influence reliability, power consumption, cooling costs, and performan...
185
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component...
193
Voted
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Geospatial image data obtained by satellites and aircraft are increasingly important to a wide range of applications, such as disaster management, climatology, and environmental m...
191
Voted
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
197
Voted
DEBS
2008
ACM
15 years 8 months ago
2008
ACM
Existing content-based publish/subscribe systems are designed assuming that all matching publications are equally relevant to a subscription. As we cannot know in advance the dist...