skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Hard real-time computing systems predictable scheduling algorithms and applications
Hard real-time computing systems predictable scheduling algorithms and applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Hard real-time computing systems predictable scheduling algorithms and applications

Giorgio C. Buttazzo 1960-

New York Springer c2005

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004.031.43 B98h2 )(Acessar)

2
Embedded software and systems second international conference, ICESS 2005, Xi'an, China, December 16-18, 2005 : proceedings
Embedded software and systems second international conference, ICESS 2005, Xi'an, China, December 16-18, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Embedded software and systems second international conference, ICESS 2005, Xi'an, China, December 16-18, 2005 : proceedings

ICESS 2005 (2005 Xi'an, Shaanxi Sheng, China) Laurence Tianruo Yang

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

3
Formal methods and hybrid real-time systems essays in honor of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays ; [papers presented at a symposium held in Macao, China, September 24 - 25, 2007 ; Festschrift Symposium]
Formal methods and hybrid real-time systems essays in honor of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays ; [papers presented at a symposium held in Macao, China, September 24 - 25, 2007 ; Festschrift Symposium]
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and hybrid real-time systems essays in honor of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays ; [papers presented at a symposium held in Macao, China, September 24 - 25, 2007 ; Festschrift Symposium]

Dines Bjørner; Cliff B Jones; Zhiming Liu; Jim Woodcock; Festschrift Symposium (2007.09.24-25 : Macao); International Colloquium on Theoretical Aspects of Computing, ICTAC (4 : 2007.09. : Macao)

Berlin u.a. Springer 2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4700 ) e outros locais(Acessar)

4
Composition of embedded systems scientific and industrial issues : 13th Monterey Workshop 2006, Paris France, October 16-18, 2006 : revised selected papers
Composition of embedded systems scientific and industrial issues : 13th Monterey Workshop 2006, Paris France, October 16-18, 2006 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Composition of embedded systems scientific and industrial issues : 13th Monterey Workshop 2006, Paris France, October 16-18, 2006 : revised selected papers

Monterey Workshop (13th 2006 Paris, France) Fabrice Kordon; Oleg Sokolosky

Berlin Springer London 2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4888 ) e outros locais(Acessar)

5
Reliable software technologies Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 proceedings
Reliable software technologies Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Reliable software technologies Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 proceedings

Ada-Europe International Conference on Reliable Software Technologies (12th 2007 Geneva, Switzerland) Nabil Abdennadher; Fabrice Kordon; Ada-Europe (Organization)

Berlin Springer New York c2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4498 )(Acessar)

6
Embedded systems design the ARTIST roadmap for research and development
Embedded systems design the ARTIST roadmap for research and development
Material Type:
Livro 		Adicionar ao Meu Espaço

Embedded systems design the ARTIST roadmap for research and development

Bruno Bouyssounouse; J Sifakis (Joseph) 1946

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

7
Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lectures
Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lectures

International School on Formal Methods for the Design of Computer Communication, and Software Systems (4th 2004 Bertinoro, Italy) Marco Bernardo; Flavio Corradini

Berlin Springer New York c2004

Acesso online. A biblioteca também possui exemplares impressos.

8
Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings
Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings

FORMATS 2004 (2004 Grenoble, France) Y Lakhnech (Yassine); Sergio Yovine; FTRTFT 2004 (2004 Grenoble, France)

Berlin Springer New York c2004

Acesso online. A biblioteca também possui exemplares impressos.

9
Real-Time Information System Basic Needs Price Change Predictions in The Traditional Market
Real-Time Information System Basic Needs Price Change Predictions in The Traditional Market
Material Type:
Artigo 		Adicionar ao Meu Espaço

Real-Time Information System Basic Needs Price Change Predictions in The Traditional Market

Mukhlis Qurbany, Reza ; Trisnawarman, Dedi ; Sutrisno, Tri

IOP conference series. Materials Science and Engineering, 2020-12, Vol.1007 (1), p.12079 [Periódico revisado por pares]

Bristol: IOP Publishing

Texto completo disponível

Citações Citado por
10
A Survey of Research into Mixed Criticality Systems
A Survey of Research into Mixed Criticality Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Survey of Research into Mixed Criticality Systems

Burns, Alan ; Davis, Robert I.

ACM computing surveys, 2018-11, Vol.50 (6), p.1-37 [Periódico revisado por pares]

Baltimore: Association for Computing Machinery

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (481)
  2. Anais de Congresso  (128)
  3. Livros  (88)
  4. Book Chapters  (22)
  5. magazinearticle  (10)
  6. Dissertações  (4)
  7. Reports  (3)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1993  (31)
  2. 1993Até2000  (95)
  3. 2001Até2007  (98)
  4. 2008Até2015  (117)
  5. Após 2015  (440)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (726)
  2. Japonês  (23)
  3. Alemão  (11)
  4. Coreano  (1)
  5. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.