178 search results - page 30 / 36 » A Tool for Optimizing the Build Performance of Large Softwar... |
147
click to vote
ICSM
1994
IEEE
15 years 8 months ago
1994
IEEE
Although data pow analysis was first developed for use in compilers, its usefulness is now recognized in many software tools. Because of its compiler origins, the computation of d...
142
click to vote
FPL
2009
Springer
15 years 8 months ago
2009
Springer
Restricted Boltzmann Machines (RBMs) — the building block for newly popular Deep Belief Networks (DBNs) — are a promising new tool for machine learning practitioners. However,...
140
Voted
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...
141
Voted
VSTTE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
143
click to vote
CBSE
2011
Springer
14 years 4 months ago
2011
Springer
Software components are increasingly assembled from other components. Each component may further depend on others, and each may have multiple active versions. The total number of ...