Essays about: "c# programs"
Showing result 1 - 5 of 162 essays containing the words c# programs.
-
1. Investigating the Accuracy of Metric-Based versus Machine Learning Approaches in Detecting Design Patterns
University essay from Göteborgs universitet/Institutionen för data- och informationsteknikAbstract : Design pattern detection approaches have evolved, with machine-learning methods gaining prominence. However, implementing machine-learning models can be challenging due to extensive training requirements and the need for large labeled design pattern datasets. READ MORE
-
2. IMPLICATION FOR THE UNIVERSITY OF GOTHENBURG TO ALIGN WITH THE GOVERNMENT’S TARGET REGARDING CLIMATE NEUTRALITY BY 2045 - Scenarios and Consequences
University essay from Göteborgs universitet / Institutionen för biologi och miljövetenskapAbstract : It is widely acknowledged that one of the most significant global challenges of the 21 st century is climate change. In its Fifth Assessment Report (2014), the Intergovernmental Panel on Climate Change (IPCC) described the present extent of the problem and the hazards involved, citing greenhouse gas emissions from human activities as the primary contributor to global warming since the mid-20th century. READ MORE
-
3. Adding Basic Support for Function Pointers in TriCera
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : TriCera is a verification tool that encodes programs in a C-like language to a set of Constrained Horn Clauses. These clauses describe the program states that can be reached when the program is executed. A solver can then be used to check if the program is safe. READ MORE
-
4. Adding Floating-point Arithmetic Support to TriCera
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : Floating-point arithmetic is a widely utilized technique for approximating real numbers. When applied in safety-critical systems, it is essential to ensure that these numbers behave as they should and do not give unsuspected errors. To ensure this, the utilization of floating-point verification is needed. READ MORE
-
5. EDPM : An extension of EDPM - an embedded domain-specific language for performance monitoring C and C++ programs
University essay from Blekinge Tekniska Högskola/Institutionen för datavetenskapAbstract : Background. Performance monitoring of C/C++ programs has often been a tedious and straining process, where insufficient and complex tools/APIs are required. Performance monitoring tools and APIs tend to focus on ease of use or flexibility, but rarely both. READ MORE