4870 search results - page 799 / 974 » Challenges of component-based development |
191
click to vote
FPGA
2005
ACM
15 years 12 months ago
2005
ACM
Creating a new FPGA is a challenging undertaking because of the significant effort that must be spent on circuit design, layout and verification. It currently takes approximately ...
167
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
Computationally identifying transcription factor binding sites in the promoter regions of genes is an important problem in computational biology and has been under intensive resea...
184
click to vote
JSSPP
2005
Springer
15 years 12 months ago
2005
Springer
The recent success of Internet-based computing projects, coupled with rapid developments in peer-to-peer systems, has stimulated interest in the notion of harvesting idle cycles u...
184
click to vote
MATES
2005
Springer
15 years 12 months ago
2005
Springer
Independent from specific application domains, similar requirements can be identified regarding information needs during daily work. For coping with generality on the one hand an...
164
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...