2013 search results - page 116 / 403 » Analysis and Design Techniques for Service-Oriented Developm... |
198
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Basic retiming is an algorithm originally developed for hardware optimization. Software pipelining is a technique proposed to increase instruction-level parallelism for parallel p...
166
click to vote
FTRTFT
1998
Springer
15 years 10 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
156
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—Temperature has a strong influence on integrated circuit (IC) performance, power consumption, and reliability. However, accurate thermal analysis can impose high computation co...
151
click to vote
ICECCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Cost-effective development of large, integrated computer-based systems can be realized through systematic reuse of development experiences throughout the development process. In t...
177
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
A plenoptic camera captures the 4D radiance about a scene. Recent practical solutions mount a microlens array on top of a commodity SLR to directly acquire these rays. However, th...