16216 search results - page 2967 / 3244 » Effective Modeling with Constraints |
188
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
143
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
If a business built a plant to produce products without first designing a process to manufacture them, the risk would be lack of capacity without significant plant redesign. Simil...
182
click to vote
ISHPC
2000
Springer
15 years 10 months ago
2000
Springer
The shared-memory programming model is a very effective way to achieve parallelism on shared memory parallel computers. As great progress was made in hardware and software technolo...
155
click to vote
NAA
2000
Springer
15 years 10 months ago
2000
Springer
Long-term exposures to high ozone concentrations have harmful effect on the crops and reduce the yield. The exposures are measured in terms of AOT40 (Accumulated exposure Over Thre...
198
click to vote
NGC
2000
Springer
15 years 10 months ago
2000
Springer
Delivering data to on-line game participants requires the game data to be "customized" in real-time to each participant's characteristics. Using multicast in such a...