Results 361 to 370 of about 553,982 (390)
Some of the next articles are maybe not open access.
Proceedings of the AAAI Conference on Artificial Intelligence, 2015
This paper is concerned with knowledge compilation (KC), a family of approaches developed in AI for more than twenty years. Knowledge compilation consists in pre-processing some pieces of the available information in order to improve the computational efficiency (especially, the time complexity) of some tasks.
openaire +2 more sources
This paper is concerned with knowledge compilation (KC), a family of approaches developed in AI for more than twenty years. Knowledge compilation consists in pre-processing some pieces of the available information in order to improve the computational efficiency (especially, the time complexity) of some tasks.
openaire +2 more sources
ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2013
Jonathan Ragan-Kelley +5 more
semanticscholar +1 more source
Jonathan Ragan-Kelley +5 more
semanticscholar +1 more source
Toward a novel engine for compiler optimization space exploration of big data workloads
Software - Practice and Experience, 2022Hameeza Ahmed, Muhammad Ali Ismail
exaly
Application of Web-based Visual Compiler to Computer Education
IEEJ Transactions on Electronics, Information and Systems, 2022Daniel S Goll
exaly
Coverage Prediction for Accelerating Compiler Testing
IEEE Transactions on Software Engineering, 2021Junjie Chen, Dan Hao, Hongyu Zhang
exaly
On converting a compiler into an incremental compiler
ACM SIGPLAN Notices, 1985Clark Nicol +3 more
openaire +2 more sources
2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2017
Adam M. Izraelevitz +10 more
semanticscholar +1 more source
Adam M. Izraelevitz +10 more
semanticscholar +1 more source
CPPC: a compiler‐assisted tool for portable checkpointing of message‐passing applications
Concurrency Computation Practice and Experience, 2010Gabriel Rodríguez +2 more
exaly