Efficient resource management for linear logic proof search

Theoretical Computer Science ◽

10.1016/s0304-3975(99)00173-5 ◽

2000 ◽

Vol 232 (1-2) ◽

pp. 133-163 ◽

Author(s):

Iliano Cervesato ◽

Joshua S. Hodas ◽

Frank Pfenning

Keyword(s):

Resource Management ◽

Linear Logic ◽

Proof Search ◽

Efficient Resource

Download Full-text

Efficient resource management for linear logic proof search

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-60983-0_5 ◽

1996 ◽

pp. 67-81 ◽

Author(s):

Iliano Cervesato ◽

Joshua S. Hodas ◽

Frank Pfenning

Keyword(s):

Resource Management ◽

Linear Logic ◽

Proof Search ◽

Efficient Resource

Download Full-text

Resource Management in Linear Logic Proof Search Revisited

Logic for Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-48242-3_19 ◽

1999 ◽

pp. 304-319 ◽

Author(s):

Pablo López ◽

Ernesto Pimentel

Keyword(s):

Resource Management ◽

Linear Logic ◽

Download Full-text

Implementing Efficient Resource Management for Linear Logic Programming

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32275-7_35 ◽

2005 ◽

pp. 528-543

Author(s):

Pablo López ◽

Jeff Polakow

Keyword(s):

Resource Management ◽

Logic Programming ◽

Linear Logic ◽

Efficient Resource

Download Full-text

A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-45793-3_12 ◽

2002 ◽

pp. 167-182 ◽

Author(s):

Joshua S. Hodas ◽

Pablo López ◽

Jeffrey Polakow ◽

Lubomira Stoilova ◽

Ernesto Pimentel

Keyword(s):

Resource Management ◽

Logic Programming ◽

Linear Logic ◽

Proof Search ◽

Download Full-text

Implementation of a Resource Broker for Efficient Resource Management in Grid Environment

15th International Conference on Advanced Computing and Communications (ADCOM 2007) ◽

10.1109/adcom.2007.66 ◽

2007 ◽

Author(s):

Sarbani Roy ◽

Madhulina Sarkar ◽

Nandini Mukherjee

Keyword(s):

Resource Management ◽

Grid Environment ◽

Resource Broker ◽

Efficient Resource

Download Full-text

Techniques for Efficient Resource Management for Context-Sensitive Mobile Applications

2008 International Conference on Complex, Intelligent and Software Intensive Systems ◽

10.1109/cisis.2008.36 ◽

2008 ◽

Author(s):

Markus Aleksy ◽

Ralf Gitzel ◽

Gerhard Vollmar ◽

Nicolaie Fantana ◽

Christian Stich ◽

...

Keyword(s):

Resource Management ◽

Mobile Applications ◽

Context Sensitive ◽

Efficient Resource

Download Full-text

Execution modeling in self-aware FPGA-based architectures for efficient resource management

2015 10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC) ◽

10.1109/recosoc.2015.7238086 ◽

2015 ◽

Author(s):

Alfonso Rodriguez ◽

Juan Valverde ◽

Cesar Castanares ◽

Jorge Portilla ◽

Eduardo de la Torre ◽

...

Keyword(s):

Resource Management ◽

Efficient Resource

Download Full-text

A Novel Frame Structure and Call Admission Control for Efficient Resource Management in Next Generation Wireless Networks

Lecture Notes in Computer Science - High Performance Computing – HiPC’99 ◽

10.1007/978-3-540-46642-0_43 ◽

1999 ◽

pp. 291-298

Author(s):

Naveen K. Kakani ◽

Sajal K. Das ◽

Sanjoy K. Sen

Keyword(s):

Wireless Networks ◽

Resource Management ◽

Admission Control ◽

Call Admission Control ◽

Frame Structure ◽

Next Generation ◽

Call Admission ◽

Next Generation Wireless Networks ◽

Efficient Resource

Download Full-text

An Energy-Efficient Resource Management System for a Mobile Ad Hoc Cloud

IEEE Access ◽

10.1109/access.2018.2876600 ◽

2018 ◽

Vol 6 ◽

pp. 62898-62914 ◽

Author(s):

Sayed Chhattan Shah

Keyword(s):

Resource Management ◽

Energy Efficient ◽

Management System ◽

Ad Hoc ◽

Resource Management System ◽

Efficient Resource ◽

Download Full-text

CARS: A contention-aware scheduler for efficient resource management of HPC storage systems

Parallel Computing ◽

10.1016/j.parco.2019.04.010 ◽

2019 ◽

Vol 87 ◽

pp. 25-34 ◽

Author(s):

Weihao Liang ◽

Yong Chen ◽

Jialin Liu ◽

Hong An

Keyword(s):

Resource Management ◽

Storage Systems ◽

Efficient Resource

Download Full-text