2752 search results - page 433 / 551 » Rounding to an Integral Program |
154
click to vote
DATE
2007
IEEE
16 years 23 days ago
2007
IEEE
The integration of microprocessors and field-programmable gate array (FPGA) fabric on a single chip increases both the utility and necessity of tools that automatically move softw...
164
click to vote
HICSS
2007
IEEE
16 years 22 days ago
2007
IEEE
Speech recognition has matured over the past years to the point that companies can seriously consider its use. However, from a developer’s perspective we observe that speech inp...
186
click to vote
IEEESCC
2007
IEEE
16 years 21 days ago
2007
IEEE
Large-scale distributed systems, such as e-healthcare systems, are difficult to develop due to their complex and decentralized nature. The Service Oriented Architecture facilitat...
173
click to vote
QEST
2007
IEEE
16 years 21 days ago
2007
IEEE
Among the many stages of a simulation study, debugging a simulation model is the one that is hardly reported on but that may consume a considerable amount of time and effort. In t...
171
click to vote
TASE
2007
IEEE
16 years 20 days ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...