2432 search results - page 245 / 487 » Using simple abstraction to reinvent computing for paralleli... |
176
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe QoSMap, a novel approach for mapping overlay networks with stringent QoS requirements. QoSMap computes high quality overlay paths by utilizing direct underlay paths th...
140
click to vote
NSPW
2006
ACM
16 years 16 days ago
2006
ACM
Spyware, Adware, Bots. In each case, there is significant evidence that there is an increasing financial motivation behind the writing and distribution of these programs. In thi...
161
click to vote
CW
2002
IEEE
15 years 11 months ago
2002
IEEE
Developing intuitive and efficient methods for shape editing is one of the most important areas in computer graphics, and free-form deformation (FFD), which is one of such methods...
283
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
207
click to vote
CONCUR
1997
Springer
15 years 10 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...