4516 search results - page 292 / 904 » Automated System Design for Availability |
167
click to vote
ICCAD
1995
IEEE
15 years 10 months ago
1995
IEEE
Abstract -- Telecommunication network management applications often require application-specific ICs that use large dynamically allocated stored data structures. Currently availab...
202
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
166
click to vote
ICLP
1991
Springer
15 years 10 months ago
1991
Springer
An extended logic programming language embodying sets is developed in successive stages, introducing at each stage simple set dictions and operations, and discussing their operati...
173
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
A number of diagnostic and optimisation problems in Electronics Computer Aided Design have usually been handled either by specific tools or by mapping them into a general problem s...
168
click to vote
GIS
2009
ACM
15 years 10 months ago
2009
ACM
Geospatial information (GI) constitutes a significant portion of available data and are a key factor in planning and decision-making in a variety of domains,such as emergency man...