12783 search results - page 521 / 2557 » Experimenting with computing |
190
click to vote
IPPS
2002
IEEE
15 years 12 months ago
2002
IEEE
The convergence of iterative methods used to solve the linear systems arising in incompressible flow problems is sensitive to flow parameters such as the Reynolds number, time s...
181
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...
179
click to vote
ESA
2006
Springer
15 years 10 months ago
2006
Springer
Lower envelopes are fundamental structures in computational geometry, which have many applications, such as computing general Voronoi diagrams and performing hidden surface removal...
161
click to vote
RECONFIG
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper the RapidRadio framework for signal classification and receiver deployment is discussed. The framework is a productivity enhancing tool that reduces the required ...
138
click to vote
DSD
2002
IEEE
15 years 12 months ago
2002
IEEE
We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by flip-flops and gates. The...