5863 search results - page 849 / 1173 » On Model-Checking of P Systems |
189
Voted
ICSOC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract Interaction with web services enabled marketplaces would be greatly facilitated if users were given a high level service request language to express their goals in complex...
143
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—We present Huckleberry, a tool for automatically generating parallel implementations for multi-core platforms from sequential recursive divide-and-conquer programs. The recursiv...
183
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Critical components of a distributed system must be replicated to achieve high availability and fault tolerance. Current faulttolerant CORBA infrastructures have concentrated on m...
151
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Reliable multicast delivery requires that a multicast message be received by all members in a group. Hence certain or all members need to buffer messages for possible retransmissi...
142
click to vote
HOTI
2002
IEEE
15 years 11 months ago
2002
IEEE
We present the architecture and practical VLSI implementation of a 4-Tb/s single-stage switch. It is based on a combined input- and crosspoint-queued structure with virtual output...