610 search results - page 36 / 122 » Using Technology to Address Old Problems in New Ways |
DAC
2003
ACM
16 years 22 days ago
2003
ACM
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...
118
click to vote
ITP
2010
15 years 1 months ago
2010
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
IPPS
1996
IEEE
15 years 3 months ago
1996
IEEE
In a shared-memory multiprocessor system, it is possible that certain synchronization operations are redundant -that is, their corresponding sequencing requirements are enforced c...
105
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
— In order to optimize the costs and time of design of the new products while improving their quality, concurrent engineering is based on the digital model of these products, the...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
In last few decades large technology development raised various new needs. Financial sector has also no exception. People are approaching all over the world to fulfill there dream...