Buscar
Mostrando ítems 1-10 de 441
TacoFlow: optimizing SAT program verification using dataflow analysis
(Springer Heidelberg, 2015-01)
In previous work, we presented TACO, a tool for efficient bounded verification. TACO translates programs annotated with contracts to a SAT problem which is then solved resorting to off-the-shelf SAT-solvers. TACO may deem ...
Desarrollo de un prototipo de Nanosatélite basado en el estándar Cubesat 1U.
(Universidad de Guayaquil. Facultad de Ciencias Matemáticas y Físicas. Carrera de Ingeniería en Sistemas Computacionales., 2020-09)
Los satélites son cada vez más importantes para el día a día de las personas, nos permiten saber nuestra posición en todo momento, predecir el clima, etc. Históricamente su desarrollo ha sido un proceso largo, complejo y ...
JTACO: Test Execution for Faster Bounded Verification
(Springer, 2014-07)
In bounded program verification a finite set of execution traces is exhaustively checked in order to find violations to a given specification (i.e. errors). SAT-based bounded verifiers rely on SAT-Solvers as their back-end ...
A Long-Term Conserved Satellite DNA That Remains Unexpanded in Several Genomes of Characiformes Fish Is Actively Transcribed
(2021-02-03)
Eukaryotic genomes contain large amounts of repetitive DNA sequences, such as tandemly repeated satellite DNAs (satDNAs). These sequences are highly dynamic and tend to be genus- or species-specific due to their particular ...
Non-Linear Control Strategies for Attitude Maneuvers in a CubeSat with Three Reaction Wheel
(Universidad Nacional de San Agustín de ArequipaPE, 2021)
Development of nanosatellites with CubeSat stan-dard allow students and professionals to get involved into the aerospace technology. In nanosatellites, attitude plays an im-portant role since they can be affected by various ...
Análise citogenética comparativa de alguns representantes da família Microhylidae (Amphibia, Anura): uma abordagem clássica e molecular
(Universidade Estadual Paulista (Unesp), 2022-01-07)
Currently, 7,414 species are described for the Anura order, with distribution practically all over the world, and 1,144 species are registered in Brazil. Today, 725 species are recognized in the Microhylidae family, divided ...
A femto-satellite localization method based on TDOA and AOA using two CubeSats
(MDPI, 2022)
This article presents a feasibility analysis to remotely estimate the geo-location of a femto-satellite only using two station-CubeSats and the communication link between the femto-satellite and each CubeSat. The presented ...
Resolvedor modular de satisfabilidade aplicado na verificação de circuitos combinacionais
(Universidade Federal de Minas GeraisUFMG, 2010-03-03)
The state-of-the-art SAT solvers, as Chaff, zChaff, BerkMin, and Minisat usually share the same core heuristics, for instance: conflict clause recording, non-chronological backtracking and two-watched literals. Nevertheless, ...
Automated Workarounds from Java Program Specifications based on SAT Solving
(Springer Verlag, 2018-11)
The failures that bugs in software lead to can sometimes be bypassed by the so-called workarounds: when a (faulty) routine fails, alternative routines that the system offers can be used in place of the failing one, to ...