Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Keyword
-
- Constraints (4)
- Intended function (3)
- Cleanroom (2)
- Computational complexity (2)
- Correctness proof (2)
-
- Ellipsoids (2)
- Foundations of quantum physics (2)
- Functional verification (2)
- Interval uncertainty (2)
- Pre and postconditions (2)
- Probabilistic uncertainty (2)
- Quantum physics (2)
- Regularization (2)
- Runtime assertion checking (2)
- Object Constraints Language (OCL) (1)
- ASIC (1)
- AST Merging (1)
- Access control contracts (1)
- Algebraic approach to quantum physics (1)
- Algorithmic problems (1)
- Algorithmic randomness (1)
- Amount of information (1)
- Aspect-oriented programming (1)
- AspectJ language (1)
- Associativity (1)
- Back-channel (1)
- Behavioral subtyping (1)
- Bisection (1)
- Bitmap cluster (1)
- CLASSIFICATION ACCURACY (1)
- Publication Type
Articles 61 - 66 of 66
Full-Text Articles in Computer Engineering
A New Eclipse-Based Jml Compiler Built Using Ast Merging, Amritam Sarcar, Yoonsik Cheon
A New Eclipse-Based Jml Compiler Built Using Ast Merging, Amritam Sarcar, Yoonsik Cheon
Departmental Technical Reports (CS)
The Java Modeling Language (JML) is a formal interface specification language to document the behavior of Java program modules and has been used in many research and industrial projects. However, its inability to support Java 5 features such as generics is reducing its user base significantly. Besides, the JML compiler is on average 8.5 times slower than the javac Java compiler. In this paper, we present a new JML compiler built on the Eclipse Java compiler to support Java 5 features. We used a technique called AST merging to implement coarse-grained incremental compilation. In our experiments we observed a significant …
Runtime Constraint Checking Approaches For Ocl, A Critical Comparison, Carmen Avila, Amritam Sarcar, Yoonsik Cheon, Cesar Yeep
Runtime Constraint Checking Approaches For Ocl, A Critical Comparison, Carmen Avila, Amritam Sarcar, Yoonsik Cheon, Cesar Yeep
Departmental Technical Reports (CS)
There are many benefits of checking design constraints at runtime---for example, automatic detection of design drift or corrosion. However, there is no comparative analysis of different approaches although such an analysis could provide a sound basis for determining the appropriateness of one approach over the others. In this paper we conduct a comparative analysis and evaluation of different constraint checking approaches possible for the Object Constraint Language (OCL). We compare several approaches including (1) direct translation to implementation languages, (2) use of executable assertion languages, and (3) use of aspect-oriented programming languages. Our comparison includes both quantitative metrics such as …
Runtime Assertion Checking For Jml On The Eclipse Platform Using Ast Merging, Amritam Sarcar
Runtime Assertion Checking For Jml On The Eclipse Platform Using Ast Merging, Amritam Sarcar
Departmental Technical Reports (CS)
The Java Modeling Language (JML) is a formal behavioral interface specification language for Java. It is used for detailed design documentation of Java program modules such as classes and interfaces. JML has been used extensively by many researchers across various projects and has a large and varied spectrum of tool support. It extends from runtime assertion checking (RAC) to theorem proving.
Amongst these tools, RAC and ESC/Java has been used as a common tool for many research projects. RAC for JML is a tool that checks at runtime for possible violations of any specifications. However, lately there has been a …
A Subthreshold Reconfigurable Architecture For Harsh Environments, Ameet Chavan
A Subthreshold Reconfigurable Architecture For Harsh Environments, Ameet Chavan
Open Access Theses & Dissertations
Energy harvesting and functional reconfigurability are necessary features in order to simultaneously achieve longer operating lifetimes and versatility in application for many next generation electronic systems. The presented research incorporates capabilities that not only enable applications to self-power from ambience but also permit change in functionality based on real-time application requirements. Currently, many applications are battery powered with custom hardware, which severely confines the application platform. Moreover, maintenance and upgrades are prohibitively expensive, particularly in the case of remote locations with limited accessibility. For harsh environments like Space or the battlefield, apart from features such as low power and reconfigurability, …
E-Quality: Using Dimensional Index Values Towards Improving Classification Accuracy, Prashanth Devaram
E-Quality: Using Dimensional Index Values Towards Improving Classification Accuracy, Prashanth Devaram
Open Access Theses & Dissertations
E-quality is a process through which inspection of the process and quality of the part produced is done online resulting in the improvement of the process and reduction in the amount of time consumed for the overall process. Automated quality control involves using a methodology to classify the parts based on the dimensions of the features on a part. However, achieving 100% classification accuracy is not an easy task, especially in area of quality control where small differences in dimensions result in part fall into a different category. In this study, a novel approach for modifying the data before being …
Estimating Information Amount Under Uncertainty: Algorithmic Solvability And Computational Complexity, Vladik Kreinovich, Gang Xiang
Estimating Information Amount Under Uncertainty: Algorithmic Solvability And Computational Complexity, Vladik Kreinovich, Gang Xiang
Departmental Technical Reports (CS)
Measurement results (and, more generally, estimates) are never absolutely accurate: there is always an uncertainty, the actual value x is, in general, different from the estimate X. Sometimes, we know the probability of different values of the estimation error dx=X-x, sometimes, we only know the interval of possible values of dx, sometimes, we have interval bounds on the cdf of dx. To compare different measuring instruments, it is desirable to know which of them brings more information - i.e., it is desirable to gauge the amount of information. For probabilistic uncertainty, this amount of information is described by Shannon's entropy; …