11462 search results - page 285 / 2293 » Developing Application-Centric Methods |
140
click to vote
ICASSP
2009
IEEE
15 years 2 months ago
2009
IEEE
We use the theory and algorithms developed for so-called shiftinvariant spaces to develop a novel distributed architecture for sampling and reconstructing non-bandlimited fields i...
124
click to vote
ICCAD
2005
IEEE
16 years 1 months ago
2005
IEEE
— In this paper we are concerned with developing more reliable model reduction algorithms. We have focused on less common, but real, examples that fail to be effectively reduced ...
159
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: Outer membrane proteins (OMPs) are frequently found in the outer membranes of gram-negative bacteria, mitochondria and chloroplasts and have been found to play diverse...
141
click to vote
LOBJET
2000
15 years 4 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
153
click to vote
FMSD
2002
15 years 4 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...