io-port.net

io-port 05216840 Tabakow, I.

Using place invariants and test point placement to isolate faults in discrete event systems. (English)

J. UCS 13, No. 2, 224-243, electronic only (2007).

Classification: C.3 D.2.2 G.2.3 H.1.1 J.6 J.7

1

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216792 Nedjah, N.; De Macedo Mourelle, L.

Pareto-optimal hardware for substitution boxes. (English)

J. UCS 12, No. 4, 395-407, electronic only (2006).

Classification: B.5.2 C.3 E.3 I.2.2

2

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216769 Zhou, H.; Hou, K.M.; Gineste, L.; De Vaulx, C.; Ponsonnaille, J.

A new system dedicated to real-time cardiac arrhythmias tele-assistance and monitoring. (English)

J. UCS 12, No. 1, 30-44, electronic only (2006).

Classification: C.2.0 C.3 H.4.3 J.3

3

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216740 Goudarzi, M.; Hessabi, S.; Mycroft, A.

Object-oriented embedded system development based on synthesis and reuse of oo-asips. (English)

J. UCS 10, No. 9, 1123-1155, electronic only (2004).

Classification: C.3 C.5.4 J.6

4

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216677 Rinner, B.; Schmid, M.; Weiss, R.

A rapid prototyping environment for multi-dsp systems based on accurate performance prediction. (English)

J. UCS 10, No. 2, 120-144, electronic only (2004).

Classification: B.8.2 C.3 D.2.2

5

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02044622 Obaidat, Mohammad S. (ed.); Papadimitriou, Georgios I. (ed.)

Applied system simulation. Methodologies and applications. (English)

Boston, MA: Kluwer Academic Publishers. vi, 515 p. EUR 152.00; \$ 168.00; \sterling 104.00 (2003).

Classification: J.1 I.2.8 G.2.2 E.4 G.3 J.7 C.3 I.6 Reviewer: A.Akutowicz (Berlin)

6

PDF XML AMS-TeX TEXT BIBTeX

io-port 02039196 Menezes, Ronaldo

Resource management in open Linda systems. (English)

Concurrency Comput. Pract. Exp. 15, No. 13, 1233-1256 (2003).

Classification: C.3 C.2.0 C.2.4

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02020432 Jin, Hong; Wang, Hongan; Wang, Qiang; Dai, Guozhong

An integrated design method of task priority. (Chinese)

J. Softw. 14, No. 3, 376-382 (2003).

Classification: D.4.1 C.3

8

PDF XML AMS-TeX TEXT BIBTeX

io-port 02013495 Gwaltney, David A.; Ferguson, Michael I.

Hardware evolution of analog speed controllers for a DC motor. (English)

Cantú-Paz, Erick (ed.) et al., Genetic and evolutionary computation - GECCO 2003. Genetic and evolutionary computation conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part I. Berlin: Springer. Lect. Notes Comput. Sci. 2723, 442-453 (2003).

Classification: I.2.6 I.2.8 J.7 C.3

9

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02001234 Moreno-Díaz, Roberto (ed.); Pichler, Franz (ed.)

Computer aided systems theory ‒ EUROCAST 2003. 9th international workshop on computer aided systems theory, Las Palmas de Gran Canaria, Spain, February 24‒28, 2003. Revised selected papers. (English)

Lecture Notes in Computer Science. 2809. Berlin: Springer. xii, 672 p. EUR 81.00/net; \$ 76.14; \sterling 62.50; sFr 134.50 (2003).

Classification: A.m I.2.m I.2.8 J.7 C.3

10

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01982196 Dajani-Brown, Samar; Cofer, Darren; Hartmann, Gary; Pratt, Steve

Formal modeling and analysis of an avionics triplex sensor voter. (English)

Ball, Thomas (ed.) et al., Model checking software. 10th international SPIN workshop, Portland, OR, USA, May 9-10, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2648, 34-48 (2003).

Classification: F.3.1 I.2.8 J.7 C.3

11

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01956622 Barajas, L.G.; Kansal, A.; Saxena, A.; Egerstedt, M.; Goldstein, A.; Kamen, E.W.

Modeling and control of SMT manufacturing lines using hybrid dynamic systems. (English)

Maler, Oded (ed.) et al., Hybrid systems: Computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2623, 66-80 (2003).

Classification: I.2.8 J.7 C.3

12

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01953320 Modi, Anirudh; Long, Lyle N.; Plassmann, Paul E.

Real-time visualization of wake-vortex simulations using computational steering and Beowulf clusters. (English)

Palma, José M. L. M. (ed.) et al., High performance computing for computational science - VECPAR 2002. 5th international conference, Porto, Portugal, June 26-28, 2002. Selected papers and invited talks. Berlin: Springer. Lect. Notes Comput. Sci. 2565, 464-478 (2003).

Classification: I.6 I.2.8 J.7 C.3 G.4 G.1.0

13

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01951209 Kardos, Martin; Nickel, Ulrich

ASMs as integration platform towards verification and validation of distributed production control systems at multiple levels of abstraction. (English)

Börger, Egon (ed.) et al., Abstract state machines 2003. Advances in theory and practice. 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2589, 416 (2003).

Classification: I.2.8 J.7 C.3 J.1

14

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01951104 Tchikou, Mahmoud; Gouardres, Eric

Multi-agent model to control production system: A reactive and emergent approach by cooperation and competition between agents. (English)

Kowalczyk, Ryszard (ed.) et al., Agent technologies, infrastructures, tools, and applications for e-services. NODe 2002 agent-related workshops, Erfurt, Germany, October 7-10, 2002. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2592, 329-342 (2003).

Classification: I.2.1 H.4 H.5 J.1 I.2.8 J.7 C.3

15

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01951103 Wagner, Thomas

An agent-oriented approach to industrial automation systems. (English)

Kowalczyk, Ryszard (ed.) et al., Agent technologies, infrastructures, tools, and applications for e-services. NODe 2002 agent-related workshops, Erfurt, Germany, October 7-10, 2002. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2592, 314-328 (2003).

Classification: I.2.1 H.4 H.5 J.1 I.2.8 J.7 C.3

16

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01932388 Matveev, A.S.; Savkin, A.V.

Optimal computer control via communication channels with irregular transmission times. (English)

Int. J. Control 76, No.2, 165-177 (2003).

Classification: I.2.8 J.7 C.3 J.1 G.2.2 E.4 Reviewer: Guy Jumarie (Montréal)

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01902944 Seguchi, Hiroaki; Ohtsuka, Toshiyuki

Nonlinear receding horizon control of an underactuated hovercraft. (English)

Int. J. Robust Nonlinear Control 13, No.3-4, 381-398 (2003).

Classification: J.6 I.2.8 J.7 C.3 Reviewer: Sergiu T.Chiriacescu (Braşov)

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01892744 Tavana, Madjid; Ortiz, James N.; Torney, Susan E.

Modeling station duty officer operations assistant at Johnson Space Center. (English)

Adv. Eng. Softw. 34, No.3, 139-162 (2003).

Classification: I.2.1 I.2.9 I.2.8 J.7 C.3

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05481477 Honka, Matthias

UNDINE /Smartcards und PKI zur medienbruchfreien elektronischen Softwarebeschaffung. (German)

Von Knop, Jan et al., Zukunft der Netze - Die Verletzbarkeit meistern, 16. DFN-Arbeitstagung über Kommunikationsnetze, Düsseldorf, 2002. Bonner Köllen Verlag (ISBN 3-88579-346-6). GI-Edition - Lecture Notes in Informatics (LNI), P-17, 157-169 (2002).

Classification: K.6.5 C.3

20

PDF XML AMS-TeX TEXT BIBTeX FullText