6059 search results - page 4 / 1212 » A Technique for Verifying Measurements |
DAC
1996
ACM
15 years 2 months ago
1996
ACM
Burch and Dill [3] described an automatic method for verifying a pipelined processor against its instruction setarchitecture(ISA). We describethree techniquesfor improving this me...
ICCD
1995
IEEE
15 years 1 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
CSFW
2006
IEEE
15 years 3 months ago
2006
IEEE
There is a growing interest in establishing rules to regulate the privacy of citizens in the treatment of sensitive personal data such as medical and financial records. Such rule...
ACMSE
2007
ACM
15 years 1 months ago
2007
ACM
Modularity, hierarchy, and interaction locality are general approaches to reducing the complexity of any large system. A widely used principle in achieving these goals in designin...
SASO
2009
IEEE
15 years 4 months ago
2009
IEEE
An optimal sensor layout is attained when a limited number of sensors are placed in an area such that the cost of the placement is minimised while the value of the obtained inform...