1833 search results - page 187 / 367 » Mechanized Verification with Sharing |
169
click to vote
EPEW
2009
Springer
16 years 1 months ago
2009
Springer
We develop models of automated E-commerce techniques, which predict the economic outcomes of these decision mechanisms, including the price attained by a good and the resulting inc...
180
click to vote
EUROPAR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents the XJava compiler for parallel programs. It exploits parallelism based on an object-oriented stream programming paradigm. XJava extends Java with new...
150
click to vote
GROUP
2009
ACM
16 years 1 months ago
2009
ACM
Recent technologies supporting continuous connectivity enable sustained awareness within social networks, which eventually boosts interaction and therefore the need of individuals...
175
click to vote
SIPS
2007
IEEE
16 years 23 days ago
2007
IEEE
System-on-Chip (SoC) designs become more complex nowadays. The communication between each processing element often suffers challenges due to the wiring problem. Networks-on-Chip (...
171
click to vote
HICSS
2005
IEEE
16 years 3 days ago
2005
IEEE
Role coordination is an important aspect of task performance in teams. This phenomenon has received little attention in global virtual teams (GVT) with their coordination hurdles....