4166 search results - page 488 / 834 » A modular module system |
217
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
200
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This paper reviews on-going efforts towards the development of the Florida Wireless Implantable Recording Electrodes (FWIRE). The FWIRE microsystem platform is a fully ...
146
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Teamwork requires that team members coordinate their actions. The representation of the coordination is a key requirement since it influences the complexity and flexibility of r...
206
click to vote
ISNN
2007
Springer
16 years 1 months ago
2007
Springer
A neural-based method for source separation in nonlinear mixture is proposed in this paper. A cost function, which consists of the mutual information and partial moments of the out...
188
click to vote
ESCIENCE
2006
IEEE
16 years 1 months ago
2006
IEEE
With the proliferation of Grid computing, potentially vast computational resources are available for solving complex problems in science and engineering. However, writing, deployi...