15416 search results - page 217 / 3084 » Embeddings of Computable Structures |
155
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
141
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper proposes, for the FPGA-based embedded systems, a reliability-aware process scheduling strategy that operates under performance bounds. A unique characteristic of the pr...
129
click to vote
ECBS
2000
IEEE
15 years 9 months ago
2000
IEEE
Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully imple...
EUROPAR
1999
Springer
15 years 8 months ago
1999
Springer
This paper presents an overview of the activities carried out within the ESPRIT project OCEANS whose objective is to investigate and develop advanced compiler infrastructure for em...
118
click to vote
EUROPAR
1999
Springer
15 years 8 months ago
1999
Springer
Growing demand for high performance in embedded systems is creating new opportunities for Instruction-Level Parallelism ILP techniques that are traditionally used in high perform...