Other

Traditional Static Timing Analysis (STA) assumes only single input switches at a time with the side input held at non-controlling value. This introduces unnecessary pessimism or optimism which may cause degradation of performance or chip failure.  Modeling Multi-Input Switching (MIS) requires a good amount of simulations hence we provide a dataset comprising of SPICE simulations done on 2 input NAND and NOR gate.

Categories:
275 Views

The dataset is the result of exhaustive search of primary extended 1-perfect unitrades in the 10-cube, or, equivalently, triangle-free 5-regular connected induced subgraphs of the halved 10-cube. We list representatives of all the 38 equivalence classes.

Categories:
115 Views

This data set contains the data of intellectuall capital dimensions,firm situation and value added data of  China's information technology industry.

Categories:
90 Views

PURPOSE

-------

This data package is provided as supplementary material of the paper:

“A GPU Approach to Efficiently Reusing Constraint Proofs”, by M. Chen, G. Denaro and M. Pezzè, 

submitted for evaluation to IEEE Transactions on software engineering, Nov. 2019.

 

STRUCTURE

---------

The data package consists of 24 files:

- a file named _README.txt: this file

- a file named _programs.txt

- 22 files named <program_name>.sexpr

 

Categories:
106 Views

Low light scenes often come with acquisition noise, which not only disturbs the viewers, but it also makes video compression harder. These type of videos are often encountered in cinema as a result of artistic perspective or the nature of a scene. Other examples include shots of wildlife (e.g. mobula rays at night in Blue Planet II), concerts and shows, surveillance camera footage and more. Inspired by all above, we are proposing a challenge on encoding low-light captured videos.

Last Updated On: 
Fri, 05/01/2020 - 09:40

The dataset stores multi-carpark occupancy records in JSON format.

Categories:
190 Views

This matlab code allows to reproduce some of the constrained and unconstrained dynamic identification techniques for open-chain robots. Below you can find an summary of the underlying research.

 

Categories:
1391 Views

This dataset contains the files provided in support of the paper entitled 'Isolating Change Propagation in Software Architectures' authored by Andrew Leigh, Michel Wermelinger and Andrea Zisman of the Open University.

If you have any questions please contact: andrew.leigh@open.ac.uk the files have been shared to allow other researchers to reproduce the work. The data set includes a README file that explains the file purpose and contents in detail.

Categories:
94 Views

This data set includes records of the student data, data descriptions, student demographic survey, class size from students to participated in the 10 program Personal Software Process course.

This version of the course was delivered between 1995 and 2006. 

The data was collected by the Software Engineering Institute (SEI) from classes taught by SEI staff and class data submitted by authorized instructors. 

 

Categories:
1062 Views

Wide varieties of scripts are used in writing languages throughout the world. In a multiscript and multi-language environment, it is necessary to know the different scripts used in every part of a document to apply the appropriate document analysis algorithm. Consequently, several approaches for automatic script identification have been proposed in the literature, and can be broadly classified under two categories of techniques: those that are structure and visual appearance-based and those that are deep learning-based.

Categories:
674 Views

Pages