3365 search results - page 645 / 673 » Digital System Design: Architectures, Methods and Tools |
129
click to vote
BMCBI
2006
14 years 12 months ago
2006
Background: The proliferation of data repositories in bioinformatics has resulted in the development of numerous interfaces that allow scientists to browse, search and analyse the...
189
click to vote
ICFP
2009
ACM
16 years 13 days ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
ICCAD
2008
IEEE
15 years 8 months ago
2008
IEEE
—The microprocessor verification challenge becomes higher in the on-chip bus (OCB) than in the unit-level. Especially for the external interrupts, since they interface with othe...
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
Successful knowledge management results in a competitive advantage in today’s information- and knowledge-rich industries. The elaboration and integration of emerging web-based t...
ECUMN
2007
Springer
15 years 6 months ago
2007
Springer
After decades of expansion, Internet became an essential tool useful for professionals and private individuals providing a large range of services like emailing, management of ban...