1446 search results - page 137 / 290 » Hardware Software Co-Design Using Functional Languages |
184
Voted
JHSN
2006
15 years 5 months ago
2006
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard ...
116
click to vote
BSN
2009
IEEE
15 years 12 months ago
2009
IEEE
—A biomonitoring application running on wireless BAN has stringent timing and energy requirements. Developing such applications therefore presents unique challenges in both hardw...
165
click to vote
ECLIPSE
2006
ACM
15 years 11 months ago
2006
ACM
The popularity of XML has motivated the development of novel XML processing tools many of which embed the XPath language for XML querying, transformation, constraint specificatio...
152
Voted
APSEC
1999
IEEE
15 years 9 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
136
click to vote
SIGSOFT
2000
ACM
15 years 9 months ago
2000
ACM
In an increasingly popular model of software distribution, software is developed in one computing environment and deployed in other environments by transfer over the internet. Ext...