1678 search results - page 152 / 336 » An ASM Specification of C |
145
click to vote
SAC
1994
ACM
15 years 10 months ago
1994
ACM
Traditional database technology may be extended by taking advantage of the facilities of an integrated persistent programming environment. This paper focuses on how such an enviro...
162
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Configurability is a major issue in the domain of embedded system software. Existing systems specifically lack good techniques to implement configurability of architectural OS con...
201
click to vote
LCPC
2000
Springer
15 years 9 months ago
2000
Springer
Embedded systems consisting of the application program ROM, RAM, the embedded processor core, and any custom hardware on a single wafer are becoming increasingly common in applicat...
154
click to vote
WSC
2007
15 years 8 months ago
2007
Often the process and effort in building interoperable Command and Control (C2) systems and simulations can be arduous. Invariably the difficulty is in understanding what is inten...
169
click to vote
SDM
2010
SIAM
15 years 7 months ago
2010
SIAM
Gene prediction is one of the most challenging tasks in genome analysis, for which many tools have been developed and are still evolving. In this paper, we present a novel gene pr...