SCOPUS 정보 검색 플랫폼

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 976, Issue , 1995, Pages 629-635

Model-based computing: Using concurrent constraint programming for modeling and model compilation

(2) Fromherz, M P J a Saraswat, Vijay A a

a PALO ALTO RESEARCH CENTER (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SOFTWARE; CONSTRAINT THEORY; SCHEDULING;

CONCURRENT CONSTRAINT PROGRAMMING; HARDWARE COMPONENTS; MACHINE DESCRIPTION; MACHINE SOFTWARE; MODEL-BASED OPC; PARTIAL EVALUATION; PHYSICAL DEVICES; SYMBOLIC MANIPULATION;

C++ (PROGRAMMING LANGUAGE);

EID: 84958042005 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/3-540-60299-2_39 Document Type: Conference Paper

Times cited : (12)

References (10)

1
- 84958085093
- July
- AAAI. AAAI'90 Workshop on Model Based Reasoning, July 1990.
- (1990) AAAI'90 Workshop on Model Based Reasoning

2
- 0346386399
- Special Section on Reasoning about Structure, Behavior and Function
- B. Chandrasekaran and R. Milne, editors. Special Section on Reasoning about Structure, Behavior and Function. Sigart Newsletter, 93:4-55, 1985.
- (1985) Sigart Newsletter , vol.93 , pp. 4-55
- Chandrasekaran, B.¹ Milne, R.²

3
- 0345755222
- Optimal Incremental and Anytime Scheduling
- In P. Lim and J. Jourdan, editors, ECRC, TR 94-38
- M. Fromherz and B. Carlson. Optimal Incremental and Anytime Scheduling. In P. Lim and J. Jourdan, editors, Proc. Workshop on Constraint Languages/Systems and their Use in Problem Modelling at ILPS'94, pages 45-59. ECRC, TR 94-38, Nov. 1993.
- (1993) Proc. Workshop on Constraint Languages/Systems and Their Use in Problem Modelling at ILPS'94 , pp. 45-59
- Fromherz, M.¹ Carlson, B.²

4
- 0006707008
- Knowledge Compilation
- A. Goel, editor. Knowledge Compilation. IEEE Expert, 6(2):71-93, 1991.
- (1991) IEEE Expert , vol.6 , Issue.2 , pp. 71-93
- Goel, A.¹

5
- 0028443340
- Intelligent Scheduling: Past, Present, and Future
- P. Prosser and I. Buchanan. Intelligent Scheduling: Past, Present, and Future. Intelligent Systems Engineering, 3(2):67-78, 1994.
- (1994) Intelligent Systems Engineering , vol.3 , Issue.2 , pp. 67-78
- Prosser, P.¹ Buchanan, I.²

6
- 0003592483
- Concurrent Constraint Programming
- Doctoral Dissertation. MIT Press, Cambridge, MA
- V.A. Saraswat. Concurrent Constraint Programming. Doctoral Dissertation Award and Logic Programming Series. MIT Press, Cambridge, MA, 1993.
- (1993) Award and Logic Programming Series
- Saraswat, V.A.¹

7
- 0347178025
- [10]
- P. Van Hentenryck. Scheduling and Packing in the Constraint Language CC(FD). [10], 137-167.
- Scheduling and Packing in the Constraint Language CC(FD) , pp. 137-167
- Van Hentenryck, P.¹

8
- 0043145743
- Incremental Search in Constraint Logic Programming
- P. Van Hentenryck and T. Le Provost. Incremental Search in Constraint Logic Programming. New Generation Computing, (9):257-275, 1991.
- (1991) New Generation Computing , Issue.9 , pp. 257-275
- Van Hentenryck, P.¹ Le Provost, T.²

9
- 0003664516
- Morgan Kaufmann, San Mateo, Calif
- D. S. Weld and J. de Kleer. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Mateo, Calif., 1990.
- (1990) Readings in Qualitative Reasoning about Physical Systems
- Weld, D.S.¹ De Kleer, J.²

10
- 0003768868
- Morgan Kanfmann, San Francisco, CA
- M. Zweben, and M. S. Fox, editors. Intelligent Scheduling. Morgan Kanfmann, San Francisco, CA, 1994.
- (1994) Intelligent Scheduling
- Zweben, M.¹ Fox, M.S.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.