1446 search results - page 267 / 290 » Hardware Software Co-Design Using Functional Languages |
242
click to vote
CC
2009
Springer
16 years 2 months ago
2009
Springer
form uses a notational abstractions called -functions. These instructions have no analogous in actual machine instruction sets, and they must be replaced by ordinary instructions ...
116
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
A voting protocol for decision-making in virtual organizations is presented. In an agent-based virtual organization the functions of formation, management and dissolution of the o...
126
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
The Trusted Computing Group (TCG) has addressed a new generation of computing platforms employing both supplemental hardware and software with the primary goal to improve the secu...
122
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
The standard language for describing the asymptotic behavior of algorithms is theoretical computational complexity. We propose a method for describing the asymptotic behavior of p...
136
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: Receiver operating characteristic (ROC) curves are useful tools to evaluate classifiers in biomedical and bioinformatics applications. However, conclusions are often r...