skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Modular Mobile Robotic Kit for Prototyping and Debugging of Control Algorithms
Modular Mobile Robotic Kit for Prototyping and Debugging of Control Algorithms
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Modular Mobile Robotic Kit for Prototyping and Debugging of Control Algorithms

Shmakov, Oleg ; Korolev, Dmitrii ; Popov, Dmitrii ; Kitaev, Nikolai ; Korotkov, Alexei

Annals of DAAAM & proceedings, 2018, p.0950 [Periódico revisado por pares]

DAAAM International Vienna

Texto completo disponível

Citações Citado por
2
Extensible Debugger Framework for Extensible Languages
Extensible Debugger Framework for Extensible Languages
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Extensible Debugger Framework for Extensible Languages

Pavletic, Domenik ; Voelter, Markus ; Raza, Syed Aoun ; Kolb, Bernd ; Kehrer, Timo de la Puente, Juan Antonio ; Vardanega, Tullio

Reliable Software Technologies – Ada-Europe 2015, p.33-49 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
DiaSys: On-Chip Trace Analysis for Multi-processor System-on-Chip
DiaSys: On-Chip Trace Analysis for Multi-processor System-on-Chip
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

DiaSys: On-Chip Trace Analysis for Multi-processor System-on-Chip

Wagner, Philipp ; Wild, Thomas ; Herkersdorf, Andreas Cardoso, João M. P. ; Teich, Jürgen ; Hannig, Frank ; Fey, Dietmar ; Schröder-Preikschat, Wolfgang ; Pionteck, Thilo

Architecture of Computing Systems – ARCS 2016, p.197-209 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
4
A Declarative Debugger for Sequential Erlang Programs
A Declarative Debugger for Sequential Erlang Programs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Declarative Debugger for Sequential Erlang Programs

Caballero, Rafael ; Martin-Martin, Enrique ; Riesco, Adrián ; Tamarit, Salvador Viganò, Luca ; Veanes, Margus

Tests and Proofs, p.96-114 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets
On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets

Hofer, Birgit ; Riboira, André ; Wotawa, Franz ; Abreu, Rui ; Getzner, Elisabeth Cortellessa, Vittorio ; Varró, Dániel

Fundamental Approaches to Software Engineering, p.68-82 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Symbolic Execution Debugger (SED)
Symbolic Execution Debugger (SED)
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Symbolic Execution Debugger (SED)

Hentschel, Martin ; Bubel, Richard ; Hähnle, Reiner Smolka, Scott A. ; Bonakdarpour, Borzoo

Runtime Verification, p.255-262 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
Automated Program Debugging for Multiple Bugs Based on Semantic Analysis
Automated Program Debugging for Multiple Bugs Based on Semantic Analysis
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Automated Program Debugging for Multiple Bugs Based on Semantic Analysis

Liu, Aishan ; Li, Li ; Luo, Jie Liu, Shaoying ; Duan, Zhenhua

Structured Object-Oriented Formal Language and Method, p.86-100 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
8
FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation
FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation

Riener, Heinz ; Fey, Görschwin Parker, David ; Donaldson, Alastair

Model Checking Software, p.234-240 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Insight: An Open Binary Analysis Framework
Insight: An Open Binary Analysis Framework
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Insight: An Open Binary Analysis Framework

Fleury, Emmanuel ; Ly, Olivier ; Point, Gérald ; Vincent, Aymeric Baier, Christel ; Tinelli, Cesare

Tools and Algorithms for the Construction and Analysis of Systems, p.218-224 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
An Automated Application-Independent Approach to Anomaly Detection in Wireless Sensor Networks
An Automated Application-Independent Approach to Anomaly Detection in Wireless Sensor Networks
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

An Automated Application-Independent Approach to Anomaly Detection in Wireless Sensor Networks

Rodrigues, André ; Silva, Jorge Sá ; Boavida, Fernando Daachi, Boubaker ; Fowler, Scott ; Hoceini, Saïd ; Mellouk, Abdelhamid

Wired/Wireless Internet Communications, p.1-14 [Periódico revisado por pares]

Cham: Springer International Publishing

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.   

Mostrar Somente

  1. Revistas revisadas por pares (67)

Data de Publicação 

De até
Refinar
  1. Antes de1995  (6)
  2. 1995Até2000  (13)
  3. 2001Até2006  (29)
  4. 2007Até2013  (65)
  5. Após 2013  (96)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (206)
  2. Japonês  (3)
  3. Francês  (1)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.