Symétrie (physique)En physique la notion de symétrie, qui est intimement associée à la notion d'invariance, renvoie à la possibilité de considérer un même système physique selon plusieurs points de vue distincts en termes de description mais équivalents quant aux prédictions effectuées sur son évolution. Une théorie physique possède alors une symétrie S, si toute équation dans cette théorie décrit tout aussi correctement une particule ρ qu'une particule -ρ 'symétrique' de ρ.
Digital synthesizerA digital synthesizer is a synthesizer that uses digital signal processing (DSP) techniques to make musical sounds. This in contrast to older analog synthesizers, which produce music using analog electronics, and samplers, which play back digital recordings of acoustic, electric, or electronic instruments. Some digital synthesizers emulate analog synthesizers; others include sampling capability in addition to digital synthesis. The very earliest digital synthesis experiments were made with computers, as part of academic research into sound generation.
Musique assistée par ordinateurthumb|Station MAO avec ordinateur, clavier maître, séquenceur et enceintes La musique assistée par ordinateur (MAO) regroupe l'ensemble des utilisations de l'informatique comme outil associé à la chaîne de création musicale depuis la composition musicale jusqu'à la diffusion des œuvres, en passant par la formation pédagogique au solfège et la pratique d'instruments. La MAO fait son apparition auprès d'un public élargi dans les années 1970, lorsque les premières idées de synthétiseur associées à l'ordinateur, Synclavier et Fairlight, voient le jour.
SuperoptimizationSuperoptimization is the process where a compiler automatically finds the optimal sequence for a loop-free sequence of instructions. Real-world compilers generally cannot produce genuinely optimal code, and while most standard compiler optimizations only improve code partly, a superoptimizer's goal is to find the optimal sequence, the canonical form. Superoptimizers can be used to improve conventional optimizers by highlighting missed opportunities so a human can write additional rules.
Functional verificationFunctional verification is the task of verifying that the logic design conforms to specification. Functional verification attempts to answer the question "Does this proposed design do what is intended?" This is complex and takes the majority of time and effort (up to 70% of design and development time) in most large electronic system design projects. Functional verification is a part of more encompassing design verification, which, besides functional verification, considers non-functional aspects like timing, layout and power.
