1777 search results - page 238 / 356 » Programming Cryptographic Protocols |
CODES
1998
IEEE
14 years 1 months ago
1998
IEEE
In this paper, the problem of automatically mapping large-grain dataflow programs onto heterogeneous hardware/softwarearchitectures is treated. Starting with a given hardware/soft...
DALT
2006
Springer
14 years 16 days ago
2006
Springer
Abstract. In this paper, we describe the declarative agent programming language Jadl (JIAC Agent Description Language). Based on threevalued logic, it incorporates ontologies, FIPA...
PPOPP
1997
ACM
14 years 12 days ago
1997
ACM
This paper describes a new approach to finding performance bottlenecks in shared-memory parallel programs and its embodiment in the Paradyn Parallel Performance Tools running with...
PLDI
2010
ACM
14 years 5 days ago
2010
ACM
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
DICS
2006
13 years 10 months ago
2006
Abstract. Group communication is a programming abstraction that allows a distributed group of processes to provide a reliable service in spite of the possibility of failures within...