5863 search results - page 1116 / 1173 » On Model-Checking of P Systems |
131
Voted
ASPDAC
2006
ACM
15 years 7 months ago
2006
ACM
Thermal effects are becoming increasingly important during integrated circuit design. Thermal characteristics influence reliability, power consumption, cooling costs, and performan...
127
Voted
CGI
2003
IEEE
15 years 7 months ago
2003
IEEE
Location-aware mobile users need to access, query, and visualize, geographic information in a wide variety of applications including tourism, navigation, environmental management,...
154
Voted
ICRA
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes the progress of the BIP2000 project. This project, in which four laboratories are involved for 4 years, as uimed at the realization of the lower part of an an...
127
Voted
LCPC
2000
Springer
15 years 7 months ago
2000
Springer
In translating HPF programs, a compiler has to generate local iteration and communication sets. Apart from local enumeration, local storage compression is an issue, because in HPF ...
130
Voted
SIGGRAPH
1995
ACM
15 years 7 months ago
1995
ACM
Physically-based modeling has been used in the past to support a variety of interactive modeling tasks including free-form surface design, mechanism design, constrained drawing, a...