949 search results - page 93 / 190 » On Topological Consistency and Realization |
DFT
2000
IEEE
14 years 1 months ago
2000
IEEE
We present a configuration technique for a Large Area Integrated Circuit (LAIC) which is manufactured by wafer stepping. A LAIC consists of four identical subsystems, i.e., a subs...
EDBT
2009
ACM
14 years 1 months ago
2009
ACM
Client/server information systems use caching techniques to reduce the volume of transmitted data as well as response time and, especially in the case of systems with mobile clien...
ER
2008
Springer
14 years 11 hour ago
2008
Springer
Abstract. Current e-business technology enables the execution of increasingly complex coordination processes that link IT services of different companies. Successful design of cros...
ECSA
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...
CSUR
1999
13 years 10 months ago
1999
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...