1550 search results - page 119 / 310 » Erlang for Concurrent Programming |
154
click to vote
CAV
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
115
Voted
HPDC
2010
IEEE
15 years 2 months ago
2010
IEEE
Hadoop is a reference software framework supporting the Map/Reduce programming model. It relies on the Hadoop Distributed File System (HDFS) as its primary storage system. Althoug...
99
Voted
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
—More and more processor manufacturers have launched embedded multicore processors for consumer electronics products because such processors provide high performance and low powe...
91
Voted
ICCD
1995
IEEE
15 years 5 months ago
1995
IEEE
Many design techniques have been proposed to optimize the performance of a digital system implemented in a given technology. Each of these techniques can be advantageous in partic...
138
Voted
ENTCS
2008
15 years 1 months ago
2008
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...