A concurrent constraint handling rules implementation in Haskell with software transactional memory

A concurrent constraint handling rules implementation in Haskell with software transactional memory

10.1145/1248648.1248653

Saved in:

書目詳細資料
Main Authors:	Lam, E.S.L., Sulzmann, M.
其他作者:	COMPUTER SCIENCE
格式:	Conference or Workshop Item
出版:	2013
主題:	Parallel implementation of concurrent language
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/40348
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	National University of Singapore

相似書籍

Parallel execution of constraint handling rules - Theory, implementation and application
由: LAM SOON LEE, EDMUND
出版: (2011)

Balinda Lisp: Design and implementation
由: Feng, M.D., et al.
出版: (2014)

Concurrent and distributed programming using constraint logic programs
由: Ramirez, R., et al.
出版: (2013)

Specification and Verification of Shared-Memory Concurrent Programs
由: LE DUY KHANH
出版: (2014)

Barriers in concurrent separation logic: Now with tool support!
由: Hobor, A., et al.
出版: (2013)

TOWARDS AN INTEGRATED FRAMEWORK FOR DESIGNING CONCURRENCY CONTROL AND LOGGING FOR IN-MEMORY DATABASES
由: YAO CHANG
出版: (2017)

Variable permissions for concurrency verification
由: Le, D.-K., et al.
出版: (2013)

Observable confluence for constraint handling rules
由: Duck, G.J., et al.
出版: (2013)

Interactive Type Debugging in Haskell
由: Stuckey, P.J., et al.
出版: (2013)

Concurrent liability in tort and contract
由: GOH, Yihan, et al.
出版: (2017)

Adaptive randomized scheduling for concurrency bug detection
由: WANG, Zan, et al.
出版: (2019)

Concurrency control and consistency over erasure coded data
由: Datta, Anwitaman, et al.
出版: (2023)

Understanding functional dependencies via constraint handling rules
由: Sulzmann, M., et al.
出版: (2013)

XHaskell - Adding regular expression types to Haskell
由: Sulzmann, M., et al.
出版: (2013)

IFIX: Fixing concurrency bugs while they are introduced
由: WANG, Zan, et al.
出版: (2020)

Semantic web to aid interoperability in concurrent engineering
由: Pinpin, Lord Kenneth M.
出版: (2004)

PFix: Fixing concurrency bugs based on memory access patterns
由: LIN, Huarui, et al.
出版: (2018)

“Shift-Left” Algorithms transforming sequential processes into concurrent ones
由: Hoang, Chi Thanh
出版: (2017)

An Internet-enabled integrated system for co-design and concurrent engineering
由: Li, W.D., et al.
出版: (2014)

Using contracts to guide the search-based verification of concurrent programs
由: POSKITT, Christopher M., et al.
出版: (2013)

Improving GPGPU Energy-Efficiency through Concurrent Kernel Execution and DVFS
由: JIAO QING
出版: (2014)

Multi-level modeling of software on hardware in concurrent computation
由: PAUL, JoAnn M., et al.
出版: (2002)

Open constraint programming
由: ZHU QILI, KENNY
出版: (2011)

STEP-based integration of feature recognition and design-by-feature for manufacturing applications in a concurrent engineering environment
由: Ong, S.K., et al.
出版: (2014)

Neoadjuvant chemotherapy followed by concurrent chemoradiation for locoregionally advanced nasopharyngeal carcinoma: Interim results from 2 prospective phase 2 clinical trials
由: Kong, L., et al.
出版: (2016)

Model checking concurrent and real-time systems : the PAT approach
由: LIU YANG
出版: (2010)

Adaptive granular concurrency control for replicated collaborative feature modeling
由: Li, M., et al.
出版: (2014)

An efficient real-time concurrency control protocol for guaranteeing temporal consistency
由: Xiao, Y.Y., et al.
出版: (2013)

A study of stochastic network with concurrent resources occupancy
由: ANG TECK MENG, MARCUS
出版: (2011)

SUBCONTRACTORS � CONCURRENT DELAY
由: TOH MEIYING
出版: (2012)

Performance-based control system design automation via evolutionary computing
由: Tan, K.C., et al.
出版: (2014)

Design and implementation of a distributed evolutionary computing software
由: Tan, K.C., et al.
出版: (2014)

Molecular interaction
由: Ciobanu, G., et al.
出版: (2013)

An impact-based broadband aeroelastic energy harvester for concurrent wind and base vibration energy harvesting
由: Zhao, Liya, et al.
出版: (2020)

A fine granular concurrency control mechanism for a peer-to-peer cooperative design environment
由: Li, M., et al.
出版: (2014)

A Federated UDDI System for Concurrent Access to Service Data
由: LIANG, Qianhui (Althea), et al.
出版: (2008)

SPICE2: Spatial Processors Interconnected for Concurrent Execution for Accelerating the SPICE Circuit Simulator Using an FPGA
由: Kapre, Nachiket, et al.
出版: (2015)

Implementing enterprise resource planning and knowledge management systems in tandem: Fostering efficiency and innovation complementarity
由: Newell, S., et al.
出版: (2013)

Optimizing concurrent execution of design activities with minimum redesign
由: Hossain, M.A., et al.
出版: (2013)

Modeling and analyzing concurrent processes for project performance improvement
由: LIN JUN
出版: (2011)