1082 search results - page 139 / 217 » tools 2000 |
DAC
2000
ACM
14 years 11 months ago
2000
ACM
We describe METRICS, a system to recover design productivity via new infrastructure for design process optimization. METRICS seeks to treat system design and implementation as a s...
DATE
2007
IEEE
14 years 4 months ago
2007
IEEE
The latest generation of the ERT560 Digital Radio Altimeter (DRA) developed for the Airbus A380 is the result of Thales’ 40 years experience. Over 40,000 radio-altimeters have b...
ISPAN
2002
IEEE
14 years 2 months ago
2002
IEEE
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...
ACSC
2000
IEEE
14 years 2 months ago
2000
IEEE
Information retrieval systems can be partitioned into two main classes: large-scale systems that make use of an inverted index or some other auxiliary data structure, intended for...
APSEC
2000
IEEE
14 years 2 months ago
2000
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as a formula of “a doma...