602 search results - page 95 / 121 » A New Rendering Model for X |
151
click to vote
WSC
1998
15 years 7 months ago
1998
SLX is Wolverine Software's "next generation" simulation language. SLX builds on the strengths of Wolverine's GPSS/H (Crain 1997). It provides powerful simulat...
144
click to vote
SIAMSC
2008
15 years 6 months ago
2008
Standing (solitary)-wave/steady-state solutions in many nonlinear wave motions and Schrodinger flows lead to nonlinear eigenproblems. In [X. Yao and J. Zhou, SIAM J. Sci. Comput., ...
161
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Since performance on FPGAs is dominated by the routing architecture rather than wirelength, we propose a new architecture-aware approach to initial FPGA placement that models the ...
160
click to vote
SPIN
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
145
click to vote
ERCIMDL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The Multivalent Document Model offers a practical, proven, nocompromises architecture for preserving digital documents of potentially any data format. We have implemented...