467 search results - page 63 / 94 » Designer Definites in Logical Form |
ASPLOS
2009
ACM
14 years 3 months ago
2009
ACM
This paper explores the architectural implications of integrating computation and molecular probes to form nanoscale sensor processors (nSP). We show how nSPs may enable new compu...
ICCAD
1995
IEEE
14 years 17 days ago
1995
IEEE
A key aspect of the synthesis of embedded systems is the automatic integration of system components. This entails the derivation of both the hardware and software interfaces that ...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
A fuzzy logic algorithm has been developed that automatically allocates electronic attack (EA) resources distributed over different platforms in real-time. The controller must be ...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
RECOMB
2007
Springer
14 years 9 months ago
2007
Springer
Association, or LD (linkage disequilibrium), mapping is an intensely-studied approach to gene mapping (genome-wide or in candidate regions) that is widely hoped to be able to effic...