Logic-based technologies for intelligent systems: State of the art and perspectives

R Calegari, G Ciatto, E Denti, A Omicini - Information, 2020 - mdpi.com
Together with the disruptive development of modern sub-symbolic approaches to artificial
intelligence (AI), symbolic approaches to classical AI are re-gaining momentum, as more …

[图书][B] The art of multiprocessor programming

M Herlihy, N Shavit, V Luchangco, M Spear - 2020 - books.google.com
The Art of Multiprocessor Programming, Second Edition, provides users with an authoritative
guide to multicore programming. This updated edition introduces higher level software …

Atlas: Leveraging locks for non-volatile memory consistency

DR Chakrabarti, HJ Boehm, K Bhandari - ACM SIGPLAN Notices, 2014 - dl.acm.org
Non-volatile main memory, such as memristors or phase change memory, can revolutionize
the way programs persist data. In-memory objects can themselves be persistent without the …

[图书][B] Parallel programming

T Rauber, G Rünger - 2013 - Springer
Innovations in hardware architecture, such as hyper-threading or multicore processors,
make parallel computing resources available for computer systems in different areas …

Challenges and opportunities in many-core computing

JL Manferdelli, NK Govindaraju… - Proceedings of the …, 2008 - ieeexplore.ieee.org
In this paper, we present some of the challenges and opportunities in software development
based on the current hardware trends and the impact of massive parallelism on both the …

Composable memory transactions

T Harris, S Marlow, S Peyton-Jones… - Proceedings of the tenth …, 2005 - dl.acm.org
Writing concurrent programs is notoriously difficult, and is of increasing practical importance.
A particular source of concern is that even correctly-implemented concurrency abstractions …

NOrec: streamlining STM by abolishing ownership records

L Dalessandro, MF Spear, ML Scott - ACM Sigplan Notices, 2010 - dl.acm.org
Drawing inspiration from several previous projects, we present an ownership-record-free
software transactional memory (STM) system that combines extremely low overhead with …

Habanero-Java: the new adventures of old X10

V Cavé, J Zhao, J Shirako, V Sarkar - Proceedings of the 9th …, 2011 - dl.acm.org
In this paper, we present the Habanero-Java (HJ) language developed at Rice University as
an extension to the original Java-based definition of the X10 language. HJ includes a …

CTrigger: exposing atomicity violation bugs from their hiding places

S Park, S Lu, Y Zhou - Proceedings of the 14th international conference …, 2009 - dl.acm.org
Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent
programs are prone to bugs. Among different types of concurrency bugs, atomicity violation …

Software transactional memory: Why is it only a research toy?

C Cascaval, C Blundell, M Michael, HW Cain… - Communications of the …, 2008 - dl.acm.org
Software transactional memory: why is it only a research toy? Page 1 40 communications of the
acm | NovEmbER 2008 | vol. 51 | No. 11 practice trAnsActionAL MEMorY (TM)13 is a …