6978 search results - page 1060 / 1396 » On Proofs in System P |
194
click to vote
EUROGP
2003
Springer
16 years 1 days ago
2003
Springer
In this paper, we introduce a new grammar guided genetic programming system called tree-adjoining grammar guided genetic programming (TAG3P+), where tree-adjoining grammars (TAGs) ...
193
click to vote
ICSOC
2003
Springer
16 years 1 days 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...
147
click to vote
DATE
2010
IEEE
15 years 12 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...
190
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...
155
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...