1288 search results - page 229 / 258 » On Analysis of Design Component Contracts: A Case Study |
108
click to vote
ICCAD
2002
IEEE
15 years 10 months ago
2002
IEEE
— The communication sub-system of complex IC systems is increasingly critical for achieving system performance. Given this, it is important that the on-chip communication archite...
122
click to vote
AC
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...
106
click to vote
PAM
2007
Springer
15 years 7 months ago
2007
Springer
The DNS root nameservers routinely use anycast in order to improve their service to clients and increase their resilience against various types of failures. We study DNS traffic co...
122
click to vote
SBCCI
2003
ACM
15 years 6 months ago
2003
ACM
Unsupervised clustering is a powerful technique for understanding multispectral and hyperspectral images, being k-means one of the most used iterative approaches. It is a simple th...
121
click to vote
SENSYS
2010
ACM
14 years 11 months ago
2010
ACM
Ecologists instrument ecosystems to collect time series representing the evolution in time and space of relevant abiotic and biotic factors. Sensor networks promise to improve on ...