IDA Dept. of Computer and Information science, Linköping University

IDA Technical Reports, 1995

Last updated: Tue, 02 Dec 1997 11:02:53


Axelsson, J. (1995). Analysis and Improvement of Task Scheduability in Hardware/Software Codesign. Technical Report LiTH-IDA-R-95-05, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Axelsson, J. (1995). Analysis and Improvement of Task Schedulability in Hardware/Software Codesign. Technical Report LiTH-IDA-R-95-24, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Axelsson, K. (1995). Centralized or Decentralized Responsibility for Information Systems? Consequences of two Different Strategies. Technical Report LiTH-IDA-R-95-29, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Axelsson, K. (1995). Realization of a Decentralized IS-Strategy. Technical Report LiTH-IDA-R-95-28, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Bäckström, C. (1995). Expressive Equivalence of Planning Formalisms. Technical Report LiTH-IDA-R-95-03, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Bäckström, C. (1995). Five Years of Tractable Planning. Technical Report LiTH-IDA-R-95-32, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Bäckström, C. and Jonsson, P. (1995). PLANNING WITH ABSTRACTION HIERARCHIES CAN BE EXPONENTIALLY LESS EFFICIENT. Technical Report LiTH-IDA-R-95-12, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Coradeschi, S. (1995). Reasoning with Unreliable Observations in the Features and Fluents Framework. Technical Report LiTH-IDA-R-95-44, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Cronholm, S. (1995). Why CASE Tools in Information Systems Development? -an Empirical Study Concerning Motives for Investing in CASE Tools. Technical Report LiTH-IDA-R-95-37, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Degerstedt, L. (1995). Declarative Development of Abstract Machines -- A Case Study in Bottom-up Execution for Logic Databases. Technical Report LiTH-IDA-R-95-45, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Doherty, P., Lukaszewicz, W., and Salas, A. (1995). A Characterization Result for Circumscribed Normal Logic Programs. Technical Report LiTH-IDA-R-95-20, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Eles, P., Peng, Z., Kuchcinski, K., and Doboli, A. (1995). Performance Guided System Level Hardware/Software Partitioning with Iterative Improvement Heuristics. Technical Report LiTH-IDA-R-95-26, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Fahl, G. and Risch, T. (1995). Query Processing over Object Views of Relational Data. Technical Report LiTH-IDA-R-95-11, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Falkenroth, E., Risch, T., and Törne, A. (1995). Using an Embedded Active Database in a Control System Architecture. Technical Report LiTH-IDA-R-95-39, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Flodin, S. and Risch, T. (1995). Processing Object-Oriented Queries with Invertible Late Bound Functions. Technical Report LiTH-IDA-R-95-10, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Goldkuhl, G. (1995). Information as Action and Communication. Technical Report LiTH-IDA-R-95-09, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Goldkuhl, G. (1995). Processtänkande vid verksamhetsutveckling. Technical Report LiTH-IDA-R-95-41, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Hallberg, J. and Peng, Z. (1995). Synthesis under Local Timing Constraints in the CAMAD High-Level Synthesis System. Technical Report LiTH-IDA-R-95-34, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Hoffner, T. (1995). Evaluation and Comparison of Program Slicing Tools. Technical Report LiTH-IDA-R-95-01, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Hua, S. (1995). A New Approach to Cumulative Default Logic. Technical Report LiTH-IDA-R-95-22, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Johansson, O. (1995). Using an Extended ER-Model Based Data Dictionary to Automatically Generate Product Modeling Systems. Technical Report LiTH-IDA-R-95-38, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Johansson, O. (1995). Utvecklingsmiljö för Produktmodelleringssystem. Technical Report LiTH-IDA-R-95-40, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Jonsson, P. and Bäckström, C. (1995). Complexity Results for State-Variable Planning under Mixed Syntactical and Structural Restrictions. Technical Report LiTH-IDA-R-95-17, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Jonsson, P. and Bäckström, C. (1995). Incremental Planning. Technical Report LiTH-IDA-R-95-31, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Jonsson, P. and Bäckström, C. (1995). Tractable Planning with State Variables by Exploiting Structural Restrictions. Technical Report LiTH-IDA-R-95-16, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Karlsson, J. s., Litwin, W., and Risch, T. (1995). LH*LH : A Scalable High Performance Data Strucuture for Switched Multicomputers. Technical Report LiTH-IDA-R-95-25, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Lindvall, M. and Sandahl, K. (1995). Exempel på spårbarhet i en industriell tillämpning av Objectory. Technical Report LiTH-IDA-R-95-08, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Löwgren, J. (1995). Perspectives on Usability. Technical Report LiTH-IDA-R-95-23, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Nadjm-Tehrani, S. (1995). A Study of Decompositional Verification of Hybrid Systems. Technical Report LiTH-IDA-R-95-30, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Nilsson, A. (1995). KLASSISK INFORMATIONSTEORI: FOKUS PÅ BÖRJE LANGEFORS INFOLOGISKA TEORIBILDNING. Technical Report LiTH-IDA-R-95-14, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Nilsson, A. (1995). UTVECKLING AV METODER FÖR SYSTEMARBETE - ETT HISTORISKT PERSPEKTIV. Technical Report LiTH-IDA-R-95-13, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Peng, Z. (1995). High-Level Test Synthesis Using Design Transformations. Technical Report LiTH-IDA-R-95-35, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Peppas, P. (1995). Epistemic Entrenchment and the Possible Models Approach. Technical Report LiTH-IDA-R-95-02, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Ragnemalm, E. L. (1995). Student Diagnosis in Practice: Bridging a Gap. Technical Report LiTH-IDA-R-95-36, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Röstlinger, A. (1995). Verksamhetsanalys för förändringar med kvalitet. Technical Report LiTH-IDA-R-95-42, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Sandewall, E. (1995). Reasoning about Actions and Change with Ramification. Technical Report LiTH-IDA-R-95-21, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Sandewall, E. (1995). Systematic Comparison of Approaches to Ramification using Restricted Minimization of change. Technical Report LiTH-IDA-R-95-15, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Sjödin, M. (1995). A WWW Front End to an OODBMS. Technical Report LiTH-IDA-R-95-19, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Sköld, M., Falkenroth, E., and Risch, T. (1995). Rule Contexts in Active Databases - A Mechanism for Dynamic Rule Grouping. Technical Report LiTH-IDA-R-95-27, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Söderman, U. and Strömberg, J.-E. (1995). Switched Bond Graphs: multiport switches, mathematical characterization and systematic composition of computational models. Technical Report LiTH-IDA-R-95-07, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Söderman, U., Strömberg, J.-E., and Top, J. (1995). Mode Invariant Modelling. Technical Report LiTH-IDA-R-95-04, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Stoy, E. and Peng, Z. (1995). Inter-Domain Movement of Functionality as a Repartitioning Strategy for Hardware/Software Co-Design. Technical Report LiTH-IDA-R-95-33, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Strömberg, J.-E. and Söderman, U. (1995). Modular Modelling of Mode-switching Systems. Technical Report LiTH-IDA-R-95-06, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Stys, M. and Zemke, S. (1995). Incorporating Discourse Aspects in English-Polish MT:Towards Robust Implementation. Technical Report LiTH-IDA-R-95-18, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Wallgren, L. (1995). Kvalitets- och prestationsuppföljning i forskarutbildningen. Handledningens roll för genomströmningen.. Technical Report LiTH-IDA-R-95-43, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).


Goto (at Linköping University):
CS Dept TR Overview
Maintained by webmaster