1678 search results - page 80 / 336 » An ASM Specification of C |
142
click to vote
VLSID
2005
IEEE
16 years 6 months ago
2005
IEEE
This paper presents an RTL generation scheme for a SimpleScalar / PISA Instruction set architecture with system calls to implement C programs. The scheme utilizes ASIPmeister, a p...
135
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. Hoare logic is widely used for software specification and verification. Frequently we need to prove the total correctness of a program: to prove that the program not only...
142
Voted
DATE
2008
IEEE
16 years 20 hour ago
2008
IEEE
This paper provides insight into the novel solutions used to build SoCs targeting increased productivity in a complex environment. Design of such SoCs relies on multi-team, multi-...
126
click to vote
DSN
2007
IEEE
15 years 12 months ago
2007
IEEE
Assurance Based Development (ABD) is the synergistic construction of a critical computing system and an assurance case that sets out the dependabilit...
142
click to vote
OTM
2007
Springer
15 years 11 months ago
2007
Springer
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...