L'analyse statique de code s'enrichit grâce à l'analyse booléenne
En appliquant pour la première fois à l'analyse logicielle une technique de « satisfaisabilité booléenne », Coverity porte l'analyse statique de code…
En appliquant pour la première fois à l'analyse logicielle une technique de « satisfaisabilité booléenne », Coverity porte l'analyse statique de code…
Le consortium Misra (Motor industry software reliability association) vient d'éditer un recueil de règles de modélisation pour l'outil de génération…
Le système d'exploitation temps réel VxWorks 6.6 de Wind River Systems supporte désormais le multiprocessing symétrique (SMP) dans lequel un…
La palette des outils de vérification de la plate-forme Questa de Mentor Graphics s'enrichit de deux nouvelles technologies, inFact et…
L'année 2008 ne déroge pas à la règle : avec le chiffre record de 17 341 visiteurs, soit 27 % de plus par…
L'arrivée de l'architecture Menlow d'Intel sur plusieurs facteurs de formes de module processeur est une des tendances remarquables observées cette…
Il est bien établi aujourd'hui que la miniaturisation continue du transistor a permis aux fabricants de circuits logiques programmables de…
Le spécialiste français de Mems, Memscap, a terminé l'année 2007 sur un chiffre d'affaires consolidé de 16,4 millions d'euros en…
Le fabricant américain Memsic, connu notamment pour ses capteurs d'accélération en technologie Cmos micro-usiné, a terminé l'année 2007 sur... (suite…)
Le britannique CSR, spécialiste des technologies sans fil, a terminé l'année sur un chiffre d'affaires trimestriel de 232,5 millions de…
Selon Gartner, les ventes mondiales de téléphones mobiles ont progressé de 16% en 2007 à plus de 1,15 milliard d'unités.…
Le fabricant américain d'accumulateurs Ultralife a terminé l'année 2007 sur un chiffre d'affaires record de 137,6 millions de dollars, en…
Vsystems France, filiale du groupe norvégien Vmetro, a signé un contrat de représentation avec la société israélienne Aitech Systems, spécia...…