78 search results - page 16 / 16 » ProB: an automated analysis toolset for the B method |
DAC
2007
ACM
14 years 6 months ago
2007
ACM
Due to shrinking technology, increasing functional frequency and density, and reduced noise margins with supply voltage scaling, the sensitivity of designs to supply voltage noise...
DAC
2007
ACM
13 years 9 months ago
2007
ACM
This paper presents a statistical framework to cooperatively design and develop technology, product circuit, benchmarking and model early in the development stage. The statistical...
INFORMATICALT
2006
13 years 5 months ago
2006
The objective is to investigate two emerging information technologies in graduate studies and scientific cooperation. Internet is the first technology. The open source is the secon...