12487 search results - page 214 / 2498 » Graspable Work Modeling |
148
click to vote
MTV
2003
IEEE
15 years 9 months ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
116
Voted
NETGAMES
2003
ACM
15 years 9 months ago
2003
ACM
One of the most important aspects in determining the global traffic characteristics of on-line games is to model the traffic behavior of the client. While modeling the client ON-O...
128
Voted
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
The academic literature suggests that the extent of exporting by multinational corporation subsidiaries (MCS) depends on their product manufactured, resources, tax protection, cus...
116
click to vote
MASCOTS
2010
15 years 5 months ago
2010
In this work the authors present an analytical model that -- compared to previously published work -- more accurately captures the delay of IEEE 802.11 protocol under low, medium,...
149
click to vote
ISCAPDCS
2003
15 years 5 months ago
2003
Many computation-intensive iterative or recursive applications commonly found in digital signal processing and image processing applications can be represented by data-flow graph...