3441 search results - page 367 / 689 » Parallel Logic Programming Systems |
144
click to vote
CLUSTER
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract--This paper proposes an analytical model to estimate the cost of running an affinity-based thread schedule on multicore systems. The model consists of three submodels to e...
140
click to vote
MVA
1994
15 years 5 months ago
1994
In our work we improve the EPPI programming environment, which was made in the University of Castilla - la Mancha one year ago. EPPI is a tool for simulating parallel algorithms t...
137
click to vote
EUROPAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Hardware Transactional Memory (HTM) gives software developers the opportunity to write parallel programs more easily compared to any previous programming method, and yiel...
117
click to vote
HICSS
1997
IEEE
15 years 8 months ago
1997
IEEE
One model of multithreading gaining popularity on multiprocessor systems is the message-driven model of computation. The message-driven model is a reactive model in which an arriv...
130
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...