skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: data de publicação: 1978Até1992 remover tipo de recurso: Artigos remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A calculus of durations
Material Type:
Artigo
Adicionar ao Meu Espaço

A calculus of durations

Chaochen, Zhou ; Hoare, C.A.R. ; Ravn, Anders P.

Information processing letters, 1991-12, Vol.40 (5), p.269-276 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

2
Multiprocessor on-line scheduling of hard-real-time tasks
Material Type:
Artigo
Adicionar ao Meu Espaço

Multiprocessor on-line scheduling of hard-real-time tasks

DERTOUZOS, M. L ; MOK, A. K.-L

IEEE transactions on software engineering, 1989-12, Vol.15 (12), p.1497-1506 [Periódico revisado por pares]

New York, NY: Institute of Electrical and Electronics Engineers

Texto completo disponível

3
An Intrusion-Detection Model
Material Type:
Artigo
Adicionar ao Meu Espaço

An Intrusion-Detection Model

Denning, D.E.

IEEE transactions on software engineering, 1987-02, Vol.SE-13 (2), p.222-232 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

4
Scheduling processes with release times, deadlines, precedence and exclusion relations
Material Type:
Artigo
Adicionar ao Meu Espaço

Scheduling processes with release times, deadlines, precedence and exclusion relations

Xu, J. ; Parnas, D.L.

IEEE transactions on software engineering, 1990-03, Vol.16 (3), p.360-369 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

5
Safety analysis of timing properties in real-time systems
Material Type:
Artigo
Adicionar ao Meu Espaço

Safety analysis of timing properties in real-time systems

Jahanian, F. ; Mok, A. K.

IEEE transactions on software engineering, 1986-09, Vol.SE-12 (9), p.890-904 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

6
Compiling real-time specifications into extended automata
Material Type:
Artigo
Adicionar ao Meu Espaço

Compiling real-time specifications into extended automata

Nicollin, X. ; Sifakis, J. ; Yovine, S.

IEEE transactions on software engineering, 1992-09, Vol.18 (9), p.794-804 [Periódico revisado por pares]

LOS ALAMITOS: IEEE

Texto completo disponível

7
Real-time pricing of reactive power: theory and case study results
Material Type:
Artigo
Adicionar ao Meu Espaço

Real-time pricing of reactive power: theory and case study results

Baughman, M.L. ; Siddiqi, S.N.

IEEE transactions on power systems, 1991-02, Vol.6 (1), p.23-29 [Periódico revisado por pares]

United States: IEEE

Texto completo disponível

8
A unified high-level Petri net formalism for time-critical systems
Material Type:
Artigo
Adicionar ao Meu Espaço

A unified high-level Petri net formalism for time-critical systems

Ghezzi, C. ; Mandrioli, D. ; Morasca, S. ; Pezze, M.

IEEE transactions on software engineering, 1991-02, Vol.17 (2), p.160-172 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

9
Communicating real-time state machines
Material Type:
Artigo
Adicionar ao Meu Espaço

Communicating real-time state machines

Shaw, A.C.

IEEE transactions on software engineering, 1992-09, Vol.18 (9), p.805-816 [Periódico revisado por pares]

LOS ALAMITOS: IEEE

Texto completo disponível

10
Some Results of the Earliest Deadline Scheduling Algorithm
Material Type:
Artigo
Adicionar ao Meu Espaço

Some Results of the Earliest Deadline Scheduling Algorithm

Chetto, H. ; Chetto, M.

IEEE transactions on software engineering, 1989-10, Vol.15 (10), p.1261-1269 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (1.598)

Data de Publicação 

De até
  1. Antes de1980  (93)
  2. 1980Até1982  (228)
  3. 1983Até1985  (347)
  4. 1986Até1989  (677)
  5. Após 1989  (803)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (2.063)
  2. Japonês  (222)
  3. Francês  (14)
  4. Alemão  (3)
  5. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.