4166 search results - page 488 / 834 » A modular module system |
186
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...
165
click to vote
ISCAS
2007
IEEE
16 years 28 days 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 ...
126
click to vote
ATAL
2007
Springer
16 years 25 days 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...
184
click to vote
ISNN
2007
Springer
16 years 23 days 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...
162
click to vote
ESCIENCE
2006
IEEE
16 years 21 days 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...