1204 search results - page 168 / 241 » Parallel concurrent ML |
162
click to vote
CRYPTO
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. We show that only languages in BPP have public-coin, blackbox zero-knowledge protocols that are secure under an unbounded (polynomial) number of parallel repetitions. Thi...
188
click to vote
RP
2009
Springer
16 years 21 days ago
2009
Springer
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...
159
click to vote
ICST
2008
IEEE
16 years 17 days ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
179
click to vote
LICS
2008
IEEE
16 years 16 days ago
2008
IEEE
In higher-order process calculi the values exchanged in communications may contain processes. A core calculus of higher-order concurrency is studied; it has only the operators nec...
135
click to vote
DATE
2007
IEEE
16 years 15 days ago
2007
IEEE
Economic testing of small devices like LCD drivers is a real challenge. In this paper we describe an approach where a production tester is extended by a memory test engine (MTE). ...