816 search results - page 66 / 164 » Automating Verification by Functional Abstraction at the Sys... |
TVLSI
2008
13 years 8 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
SIPS
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— This paper presents a design environment for efficiently generating application-specific Intellectual Property (IP) cores for system level signal processing algorithm...
UMC
2000
14 years 21 days ago
2000
Abstract. We consider various extensions and modifications of Shannon's General Purpose Analog Computer, which is a model of computation by differential equations in continuou...
SIGSOFT
2007
ACM
14 years 10 months ago
2007
ACM
Regression testing, as it's commonly practiced, is unsound due to inconsistent test repair and test addition. This paper presents a new technique, differential testing, that ...
ESWS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. The Semantic Web Services initiatives are aiming to develop automatic and dynamic solutions for the semantically described Web services discovery, invocation and executio...