3307 search results - page 324 / 662 » The meaning of concurrent programs |
169
click to vote
LCTRTS
2009
Springer
16 years 1 months ago
2009
Springer
Embedded systems, like general-purpose systems, can benefit from parallel execution on a symmetric multicore platform. Unfortunately, concurrency issues present in general-purpos...
165
click to vote
ICALP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We provide a new characterization of certain zero-knowledge protocols as non-interactive instance-dependent commitment-schemes (NIC). To obtain this result we consider th...
203
click to vote
IPPS
2006
IEEE
16 years 24 days ago
2006
IEEE
Step caches are caches in which data entered to an cache array is kept valid only until the end of ongoing step of execution. Together with an advanced pipelined multithreaded arc...
189
click to vote
ICALP
2005
Springer
16 years 9 days ago
2005
Springer
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...
191
click to vote
ICALP
2004
Springer
16 years 5 days ago
2004
Springer
In order to enable communication between a dynamic collection of peers with given ID’s, such as “machine.cs.school.edu”, over the Internet, a distributed name service must b...