7393 search results - page 1132 / 1479 » Synthesis-for-testability using transformations |
150
click to vote
TAPSOFT
1995
Springer
15 years 8 months ago
1995
Springer
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...
130
click to vote
VL
1995
IEEE
15 years 8 months ago
1995
IEEE
Underlying any single-user software visualization (SV) system is a visualization language onto which its users must map the computations they would like to visualize with the syst...
121
click to vote
FASE
2010
Springer
15 years 7 months ago
2010
Springer
Services provide access to software components that can be discovered dynamically via the Internet. The increasing number of services a requesters may be able to use demand support...
134
click to vote
AAAI
2008
15 years 6 months ago
2008
It is well-known that diversity among base classifiers is crucial for constructing a strong ensemble. Most existing ensemble methods obtain diverse individual learners through res...
154
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
The problem of regulating air traffic in the en route airspace of the National Airspace System is studied using an Eulerian network model to describe air traffic flow. The evolutio...