In the early 20th century, J.H. Wigmore described a new method for analysing and laying out arguments in legal cases. His proposal was the first system of argument diagramming, and...
The notion of sequential and parallel decomposition of a language over a set of languages was introduced by Schnoebelen. A language is decomposable if it belongs to a finite set ...
The process of borehole drilling is a nonlinear and many dimensional process. During drilling it is possible occurrence of some complications (for example transition of drilling t...
This paper describes some identifiable trends in the manufacturing industry regarding the increased use of simulation tools, especially by small- to medium-sized companies. These ...
We present a method to find static path exclusions in a control flow graph in order to refine the WCET analysis. Using this information, some infeasible paths can be discarded ...