Abstract: A method for manufacturing a FinFET having a fin that has a fin body includes selecting a desired electrical performance parameter, selecting a base dimension of the fin, identifying a combination of fin-body doping and fin-geometry that causes the FinFET to have the desired electrical performance parameter, doping the fin body according to the identified fin-body doping, and fabricating the fin according to the fin-geometry.

Abstract: A method for manufacturing a FinFET having a fm that has a fm body includes selecting a desired electrical performance parameter, selecting a base dimension of the fin, identifying a combination of fin-body doping and fin-geometry that causes the FinFET to have the desired electrical performance parameter, doping the fin body according to the identified fin-body doping, and fabricating the fm according to the fin-geometry.

Abstract: Systems, methods, and computer program products are provided for identifying software files, flaws in code, and program fragments by obtaining a software file, determining a plurality of artifacts, accessing a database which stores a plurality of reference artifacts for reference software files, comparing at least one of the artifacts to at least one of the reference artifacts stored in the database, and identifying the software file by identifying the reference software file having the reference artifacts that correspond to the plurality of artifacts. Certain embodiments can also automatically provide updated versions of files, patches to be applied, or repaired blocks of code to replace flawed blocks. Example embodiments can accept a wide variety of file types, including source code and binary files and can analyze source code or convert files to an intermediate representation (IR) and analyze the IR.

Abstract: Systems, methods, and computer program products are shown for providing a corpus. An example embodiment includes automatically obtaining a plurality of software files, determining a plurality of artifacts for each of the plurality of software files, and storing the plurality of artifacts for each of the plurality of software files in a database. Additional embodiments determine some of the artifacts for each of the software files by converting each of the software files into an intermediate representation and determining at least some of the artifacts from the intermediate representation for each of the software files. Certain example embodiments determine at least some of the artifacts for each of the software files by extracting a string of characters from each of the plurality of software files. The software files can be in a source code or a binary format.

Abstract: Systems, methods, and computer program products are provided for locating design patterns in software. An example method includes accessing a database having multiple artifacts corresponding to multiple software, and identifying a design pattern for at least one of the software files by automatically analyzing at least one of the artifacts associated with the software. Additional embodiments also provide for storing an identifier for the design pattern for the software in the database. For certain example embodiments, the artifacts include developmental, which may be searched for a string that denotes a design pattern, such as flaw, feature, or repair. Additional example embodiments also include finding in the software file a program fragment that implements the design pattern.

Abstract: An electrically small dual-band planar tunable UHF/L-Band antenna. In one example, the dual-band antenna includes a combination of a semi-spiral antenna for the UHF frequencies and a microstrip patch antenna for the L-band frequencies.

Abstract: An electrically small dual-band planar tunable UHF/L-Band antenna. In one example, the dual-band antenna includes a combination of a semi-spiral antenna for the UHF frequencies and a microstrip patch antenna for the L-band frequencies.