5863 search results - page 809 / 1173 » On Model-Checking of P Systems |
135
click to vote
CLUSTER
2008
IEEE
16 years 1 months ago
2008
IEEE
—High-speed interconnects are frequently used to provide scalable communication on increasingly large high-end computing systems. Often, these networks are nonblocking, where the...
168
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
—The multiple-input multiple-output (MIMO) radar concept has drawn considerable attention recently. In the traditional single-input multiple-output (SIMO) radar system, the trans...
166
click to vote
ECRTS
2007
IEEE
16 years 1 months ago
2007
IEEE
Today’s CPUs consume a significant amount of power and generate a high amount of heat, requiring an active cooling system to support reliable operations. In case of cooling sys...
198
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Retrieval queries that combine structural constraints with keyword search represent a significant challenge to XML data management systems. Queries are expected to be answered as...
155
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Microrobots experience physical phenomena that are difficult to model analytically and that are not completely captured with macro-scale prototypes. In this paper we present a...