3342 search results - page 171 / 669 » Automating Abstract Interpretation |
SIPS
2006
IEEE
15 years 5 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...
108
click to vote
FATES
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
102
click to vote
ECAI
2000
Springer
15 years 3 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
108
click to vote
DIAL
2004
IEEE
15 years 3 months ago
2004
IEEE
Obsolescence in storage media and the hardware and software for access and use can render old electronic files inaccessible and unusable. Therefore, the long-term preservation of ...
105
click to vote
BMCBI
2006
14 years 11 months ago
2006
Background: The rapid proliferation of biomedical text makes it increasingly difficult for researchers to identify, synthesize, and utilize developed knowledge in their fields of ...