Sciweavers

684 search results - page 46 / 137
» Compiler Tools in APL
Sort
View
ISQED
2002
IEEE
105views Hardware» more  ISQED 2002»
14 years 2 months ago
Measurement of Inherent Noise in EDA Tools
With advancing semiconductor technology and exponentially growing design complexities, predictability of design tools becomes an important part of a stable top-down design process...
Andrew B. Kahng, Stefanus Mantik
OOPSLA
2007
Springer
14 years 4 months ago
Understanding the value of program analysis tools
It is difficult to determine the cost effectiveness of program analysis tools because we cannot evaluate them in the same environment where we will be using the tool. Tool evalua...
Ciera Jaspan, I-Chin Chen, Anoop Sharma
ICDE
2010
IEEE
192views Database» more  ICDE 2010»
14 years 4 months ago
XML reasoning made practical
— We present a tool for the static analysis of XPath queries and XML Schemas. The tool introduces techniques used in the field of verification (such as binary decision diagrams...
Pierre Genevès, Nabil Layaïda
ICSE
2000
IEEE-ACM
14 years 1 months ago
Improvement of a configuration management system
The company CAD-UL AG develops software tools for embedded systems. Single tools as compilers, linkers and debuggers are offered as well as complete development tool chains for th...
Frank Titze
ERSA
2006
76views Hardware» more  ERSA 2006»
13 years 11 months ago
Logic Synthesis and Place-and-Route Environment for ORGAs
Abstract-- We have continued development of Optically Reconfigurable Gate Arrays (ORGAs) to realize larger virtual gate count VLSIs than currently available VLSIs. The grain and st...
Minoru Watanabe, Fuminori Kobayashi