Usuario:Waeswaes/Trabajo
Para hacer
[editar]- Clang ( en:Clang )
- Optimización de redes (en:WAN optimization ??)
- Ataque de formato de cadena (en:Uncontrolled format string)
- Ataque return-to-libc (en:Return-to-libc attack)
- Interpretación abstracta ( en:Abstract interpretation )
- Análisis de flujo de datos ( en:Data-flow analysis )
- Análisis basado en restricciones (google:constraint based analysis)
- Eficiencia algorítmica (en:Algorithmic efficiency)
- Memoización (en:Memoization)
- Ingeniería de rendimiento (en:Performance engineering)
- Función en linea (en:Inline function)
- Punto caliente (ciencias de la computación) (en:Hot spot (computer programming))
- Longitud de la ruta de instrucciones (en:Instruction path length)
- Instrumentación de código (en:Instrumentation (computer programming))
- Seguridad de memoria (en:Memory safety)
- Simulador de conjunto de instrucciones (en:instruction set simulator)
- Grafo de llamadas (en:Call graph)
- Hooking (en:Hooking)
- Heisenbug (en:Heisenbug)
- Plegamiento de constantes (en:Constant folding)
- Documentación de software (en:Software documentation)
- .bss (en:.bss)
- Aleatorización de direcciones de memoria (en:Address space layout randomization)
- Protecciones contra desbordamiento de buffer (en:Buffer overflow protection)
- Inyección DLL (en:DLL injection)
Mejorar
[editar]- Conversor digital-analógico
- Tipo de dato
- Problema de optimización
- Desbordamiento de búfer
- Puntero (informática)
- Referencia colgante
- Verificación formal
- Shellcode
- Lógica de Hoare
- Werner Heisenberg
Categorías
[editar]Cree las siguientes categorías y estoy intentando mejorarlas, creando nuevos artículos para ellas o mejorando los que ya están.
- Categoría:Optimización de computadoras
- Categoría:Análisis de software
- Categoría:Errores de software
- Categoría:Métodos formales
- Categoría:Optimización de hardware
- Categoría:Optimización de software
- Categoría:Generadores de documentación
- Categoría:Rendimiento de computadoras
- Categoría:Seguridad de Microsoft Windows
- Categoría:Seguridad del sistema operativo
- Categoría:Optimizaciones del compilador
- Categoría:Pruebas de software
- Categoría:Calidad de software
Y estas no las cree pero igual intento mejorarlas:
- Categoría:Problemas de seguridad informática
- Categoría:Tipos de datos
- Categoría:Estructuras de control
- Categoría:Variables (programación)
Crear una categoría, categorizarla y crear sus subcategorías es la mejor forma de estructurar a wikipedia y debería de ser lo primero que hay que hacer antes de crear artículos.
Hechos hace un tiempo que por ahí te interese ver y mejorarlos
[editar]- Cobertura de código
- Eliminación de código muerto
- Grafo de control de flujo
- Almacenamiento muerto
- Compilador optimizador (linda pagina)
- Código redundante
- Código muerto
- Código inalcanzable
- Variable no inicializada
- Corrupción de memoria
- Comprensión del programa
- Teorema de Rice
- Jean-Pierre Wintenberger
- Conjetura de modularidad de Serre
- Revisión automática de código
- Base de datos en la nube
- Análisis dinámico de software
- Semántica axiomática
- Análisis estático de software
- Sistema de efectos
- Análisis de control del flujo
- Análisis de software
- Robert Coveyou
- Salto salvaje
- Análisis de rendimiento de software
- Optimización de software
- Premio Abdus Salam
- Premio Loève
- Premio Morgan
- Premio Naylor
- Premio Whitehead
- Premio Fröhlich
- Sociedad Matemática de Londres
- Chandrashekhar Khare
- Hal Abelson
- Disyunción exclusiva
- Tianhe-I
- Wolfgang Haken
- Aptana Studio
- RDoc
- NDoc
- SoDa (software)
- Doc-O-Matic
- Taglets
- KDOC
- JSDoc
- Ddoc
- Alternate Data Streams
- JSSE
- Herramienta de programación
- PhpDocumentor
- PHPDoc
- Algoritmo criptográfico
- Java Platform Debugger Architecture
- JavaSound
- Java IDL
- PDFDoclet
- Conversión de tipos
- Strictfp
- DrJava
- Doclets
- JDiff
- RISC OS
- Steve McConnell
- Rango de codificación
- LZMA
- Pardus
- Diseño de algoritmos
- Método formal
- Variable de clase
- Variable de instancia
- Ámbito (programación)
- Negascout
- Negamax
- Algoritmo de Thompson
- Anexo:Herramientas para el análisis estático de software
- Anexo:Comparativa de generadores de documentación