Institut for Elektroniske Systemer

  • Fredrik Bajers Vej 7B

    9220 Aalborg

    Danmark

Publikationer

Filter
Bog

CMC: A Tool for Compositional Model-Checking of Real-Time Systems

Larsen, K. G. & Laroussinie, F., 1998, Aalborg: Aalborg Universitetsforlag.

Publikation: Bog/antologi/afhandling/rapportBogForskning

CNTK Deliverable: Network and Service Application Development and Testing

Schwefel, H-P., Fathi, H., Tondering, C., Dalsgaard, P., Yomo, H. & Tan, Z-H., 2004, CNTK Project,.

Publikation: Bog/antologi/afhandling/rapportBog

CNTK Deliverable: Quality of Service

Fathi, H., Schwefel, H-P., Yomo, H., Tondering, C., Iversen, W. & Metin, E., 2004, CNTK Project,.

Publikation: Bog/antologi/afhandling/rapportBog

CNTK Deliverable D2.1-State-of-the-art of mobility protocols

Fathi, H. & Schwefel, H-P., 2004, CNTK Project,.

Publikation: Bog/antologi/afhandling/rapportBogForskning

CoEd - a Tool for Cooperative Development of Hierarchical Documents

Bendix, L., Larsen, P. N., Nielsen, A. I. & Petersen, J. L. S., 1997, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; Nr. R97-5012).

Publikation: Bog/antologi/afhandling/rapportBogForskning

CoEd meets VTML

Bendix, L. & Vitali, F., 1998, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; Nr. R98-5007).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Cognitive Radio Networks

Chen, K-C. & Prasad, R., 2009, Wiley. 372 s.

Publikation: Bog/antologi/afhandling/rapportBogForskning

Collaborative Improvement: Interplay but Not a Game

Kaltoft, R., 2006, Aalborg: Denmark. 114 s.

Publikation: Bog/antologi/afhandling/rapportBog

Communication Acoustics

Blauert, J., 2005, IEEE Computer Society Press. 380 s.

Publikation: Bog/antologi/afhandling/rapportBogForskning

Communication Pattern Analysis

Nielsen, J. D. & Hede, M., 1996, Aalborg: Aalborg Universitetsforlag. ( Aalborg Universitetscenter. Institut for Elektroniske Systemer. Afdeling for Proceskontrol - Rapport; Nr. I96-4159).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Communication Pattern Analysis

Nielsen, J. F. D. & Hede, M., 1996

Publikation: Bog/antologi/afhandling/rapportBog

Communication Pattern Analysis, 2nd Part

Nielsen, N. N., Nielsen, J. F. D. & Schiøler, H., 1998, <Forlag uden navn>.

Publikation: Bog/antologi/afhandling/rapportBog

Compact Model Specification of RF MOSFET with DC and AC Evaluations

Kolding, T. E., 1999, Aalborg: Aalborg University. RISC Group Denmark. (Technical Report; Nr. R99-1005).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Comparative Study of Parametric and Non-parametric Approaches in Fault Detection and Isolation

Katebi, S. D., Blanke, M. & Katebi, M. R., 1998, Department of Control Engineering.

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Åben adgang
Fil
144 Downloads (Pure)

Comparing PI and Robust Pitch Controllers on a 400kw Wind Turbine by Full Scale

Knudsen, T., Andersen, P. & Tøffner-Clausen, S., 1997, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer. Afdeling for Proceskontrol, Aalborg Universitet; Nr. R97-4174).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Comparing PI and Robust Pitch Controllers on a 400kw Wind Turbine by full scale Tests

Knudsen, T., Andersen, P. & Tøffner-Clausen, S., 1997, Department of Control Engineering.

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Component Composition and Interaction in BETA: the Costumer Servicing System Example

Kristensen, B. B., 1997, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; Nr. R97-5001).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Compositional and Symbolic Model: Checking of Real Time Systems

Larsen, K. G., Pettersson, P. & Yi, W., 1995

Publikation: Bog/antologi/afhandling/rapportBogForskning

94 Citationer (Scopus)

Compositional Safety Logics

Larsen, K. G. & Andersen, J. H., 1997, Århus : Daimi: Department of Computer Science, Aarhus University. (BRICS Report Series; Nr. RS-97-13).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Compositional Verification of Concurrent Systems

Kristoffersen, K. J., 1998, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; Nr. R98-5009).

Publikation: Bog/antologi/afhandling/rapportBogForskning

37 Citationer (Scopus)

Computer Aided Network Design

Rasmussen, H., 1974

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Computer Aided Verification: 3rd International Workshop, CAV'91

Larsen, K. G. & Skou, A., 1992, Berlin: IEEE Computer Society Press.

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Conceptual Framework for ISC Systems

Nielsen, J. F. D., Nielsen, N. N. & Schiøler, H., 2001, ATOMOS IV.

Publikation: Bog/antologi/afhandling/rapportBog

Conceptual Modeling and Programming

Kristensen, B. B. & Østerbye, K., 1991, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. 1991 : R 91-42).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Configuration Management and Version Control Revisited

Bendix, L., 1995, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; Nr. R96-2016).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Construction of DSP systems and the use of commercial DSP systems in education and research

Nielsen, S. B., 2000, Aalborg: Aalborg Universitetsforlag.

Publikation: Bog/antologi/afhandling/rapportBogForskning

Context-Dependent and Independent Self-Structuring Hidden Control Models for Speech Recognition

Sørensen, H. B. D., 1992, Edmonton, Canada: Priority Printing.

Publikation: Bog/antologi/afhandling/rapportBogForskning

Context Dependent Minimization of State/Event Systems

Behrmann, G., Kristoffersen, K. J. & Larsen, K. G., 1997, Aalborg: Aalborg Universitetsforlag.

Publikation: Bog/antologi/afhandling/rapportBogForskning

Contractions to K8

Jørgensen, L. K., 1989, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. 1989 : R 89-39).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Controlling risk exposure and dividends pay-out schemes: insurance company example

Højgaard, B. & Taksar, M., 1998, Aalborg: Aalborg Universitetsforlag. (Research Report Series; Nr. R98-2008).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Control of movement for the physically disabled: control for rehabilitation technology

Popovic, D. B. & Sinkjær, T., 2000, London: Springer. 481 s.

Publikation: Bog/antologi/afhandling/rapportBogForskning

Convergence rates for M/G/1 queues and ruin problems with heavy tails

Asmussen, S. & Teugels, J. L., 1995, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; Nr. R95-2005).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Cooperation in Wireless Networks: Principles and Applications: Real Egoistic Behaviour is to Cooperate

Fitzek, F. & Katz, M., 2006, IEEE Computer Society Press. 641 s.

Publikation: Bog/antologi/afhandling/rapportBog

195 Citationer (Scopus)

Correct and Efficient Timestamping of Temporal Data

Torp, K., Snodgrass, R. T. & Jensen, C. S., 1997, Aalborg: Aalborg Universitetsforlag. (Technical Report; Nr. TR-4).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Covering of Infinite Graphs

Jørgensen, L. K., 1989, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. 1989 : R 89-27).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

CPKencode. Program Documentation

Nielsen, C., Jensen, J. & Andersen, O. K., 1997, Aalborg: Aalborg Universitetsforlag. (CPK980101-CN).

Publikation: Bog/antologi/afhandling/rapportBogForskning

CPKlabel. Installation Guide and Users Manual

Nielsen, C., Jensen, J. & Andersen, O. K., 1997, Aalborg: Aalborg Universitetsforlag. (CPK980101-CN).

Publikation: Bog/antologi/afhandling/rapportBogForskning

CPKlabel. Signal Processing Issues

Nielsen, C., Jensen, J. & Andersen, O. K., 1997, Aalborg: Aalborg Universitetsforlag. (CPK980101-CN).

Publikation: Bog/antologi/afhandling/rapportBogForskning

CPKsynt. Program Dokumentation

Nielsen, C., Jensen, J. & Andersen, O. K., 1997, Aalborg: Aalborg Universitetsforlag. (CPK980101-CN).

Publikation: Bog/antologi/afhandling/rapportBogForskning

CPKsynt. Signal Processing Issues

Jensen, J., Hansen, E., Nielsen, C. & Andersen, O. K., 1997, Aalborg: Aalborg Universitetsforlag. (CPK971120-JJE).

Publikation: Bog/antologi/afhandling/rapportBogForskning

CPKsynt & CPKencode. Installation Guide and Users Manual

Nielsen, C., Jensen, J. & Andersen, O. K., 1997, Aalborg: Aalborg Universitetsforlag. (CPK980101-CN).

Publikation: Bog/antologi/afhandling/rapportBogForskning

CPO Models for GSOS Languages, Part 1: Compact GSOS Languages

Aceto, L. & Ingolfsdottir, A., 1994, Århus : Daimi: Department of Computer Science, Aarhus University. 70 s. (BRICS Report Series; Nr. RS-94-40).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Critical mathematics education

Skovsmose, O., Nielsen, L. & Powell, A., 1995, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; Nr. R95-2023).

Publikation: Bog/antologi/afhandling/rapportBogForskning

CVC Testing of the 3R Recogniser on the Danish Part of EUROM.1

Lindberg, B., Jørgensen, R. K., Danielsen, S. W. & Dalsgaard, P., 1992, Aalborg: Aalborg Universitetsforlag. 13 s. (Aalborg Universitetscenter. Institut for Elektroniske Systemer. Afdeling for Kommunikationsteknologi. Rapport).

Publikation: Bog/antologi/afhandling/rapportBogForskning

CVSD Case Study

Lázaro Cuadrado, D. & Frederiksen, A., 2003, Aalborg: Aalborg Universitet. (Technical Report).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Cycle Three Technical Exchange Report: REWARD WP4D5

Bai, B., Brøndsted, T., Failenschmid, K. & Thornton, S., 1999, Aalborg: Aalborg Universitetsforlag. (Reward Technical Reports LEI-2632; Nr. D4.5).

Publikation: Bog/antologi/afhandling/rapportBogForskning

D1.2: Preliminary Recommendation to Selection of Scenarios

Frattasi, S., Fitzek, F. H. P. & Antonini, M., 2004, JADE Deliverable.

Publikation: Bog/antologi/afhandling/rapportBog

D1.3: Final Recommendation to Overall Scenarios and Requirements

Frattasi, S. & Fitzek, F. H. P., 2004, JADE Deliverable.

Publikation: Bog/antologi/afhandling/rapportBog

D3.1.1 HIPERMAN/HIPERLAN/2 interworking methods

Hoymann, C., Frattasi, S. & Coenen, P., 2003, STRIKE deliverable.

Publikation: Bog/antologi/afhandling/rapportBogForskning