Results 11 to 20 of about 397,696 (287)
On a New Notion of Partial Refinement [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Formal specification techniques allow expressing idealized specifications, which abstract from restrictions that may arise in implementations. However, partial implementations are universal in software development due to practical limitations.
Emil Sekerinski, Tian Zhang
doaj +4 more sources
Support Vector Machines in R [PDF]
Journal of Statistical Software, 2006 Being among the most popular and efficient classification and regression methods currently available, implementations of support vector machines exist in almost every popular programming language.
Alexandros Karatzoglou +2 more
doaj +4 more sources
Fault Attacks Made Easy: Differential Fault Analysis Automation on Assembly Code
Transactions on Cryptographic Hardware and Embedded Systems, 2018 Over the past decades, fault injection attacks have been extensively studied due to their capability to efficiently break cryptographic implementations.
Jakub Breier, Xiaolu Hou, Yang Liu
doaj +1 more source
Implementation of Hyperbolic Sine and Cosine Functions Based on FPGA using different Approaches [PDF]
Engineering and Technology Journal, 2023 This paper presents the implementations of the hyperbolic sine and cosine functions, which are essential in many digital systems. In the previous eras, these functions were only implemented in software; however, hardware implementations have recently ...
Rawasee yousif, Ivan Hashim, Bassam Abd
doaj +1 more source
Software process modelling as relationships between tasks [PDF]
, 1997 Systematic formulation of software process models is currently a challenging problem in software engineering. We present an approach to define models covering the phases of specification, design, implementation and testing of software systems in the ...
Franch Gutiérrez, Javier +1 more
core +1 more source
Flexible and Low-Complexity Encoding and Decoding of Systematic Polar Codes [PDF]
, 2016 In this work, we present hardware and software implementations of flexible polar systematic encoders and decoders. The proposed implementations operate on polar codes of any length less than a maximum and of any rate.
Giard, Pascal +5 more
core +1 more source
Process Mining: Applied Discipline and Software Implementations
Наукові вісті Національного технічного університету України "Київський політехнічний інститут", 2018 Background. A precise picture of how business processes (in the interpretation by Andrea Burattin) are performed in real-life is vitally important for an organization because it shows actual situation revealing gaps and bottlenecks.
Anatoliy Ye. Batyuk +1 more
doaj +1 more source
Systematic formulation of non-functional characteristics of software [PDF]
, 1998 This paper presents NoFun, a notation aimed at dealing with non-functional aspects of software systems at the product level in the component programming framework.
Franch Gutiérrez, Javier
core +1 more source
Parallel hardware for faster morphological analysis
Journal of King Saud University: Computer and Information Sciences, 2018 Morphological analysis of Arabic language is computationally intensive, has numerous forms and rules, and intrinsically parallel. The investigation presented in this paper confirms that the effective development of parallel algorithms and the derivation ...
Issam Damaj +2 more
doaj +1 more source
Inherent Limitations of Hybrid Transactional Memory [PDF]
, 2015 Several Hybrid Transactional Memory (HyTM) schemes have recently been proposed to complement the fast, but best-effort, nature of Hardware Transactional Memory (HTM) with a slow, reliable software backup.
Alistarh, Dan +4 more
core +2 more sources