Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

So.cl

Known as: Socl 
So.cl (pronounced "social") is a social networking service and social search engine operated by Microsoft FUSE Labs.
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Abstract The OpenCL specification tightly binds a command queue to a specific device. For best performance, the user has to find… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • table 2
Is this relevant?
2015
2015
SimRank is an influential link-based similarity measure that has been used in many fields of Web search and sociometry. The best… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 4
  • figure 3
Is this relevant?
2014
2014
To fully tap into the potential of today heterogeneous machines, offloading parts of an application on accelerators is no longer… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2013
2013
To fully tap into the potential of today's heterogeneous machines, offloading parts of an application on accelerators is not… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2012
2012
We introduce a logical verification methodology for checking behavioral properties of service-oriented computing systems. Service… Expand
  • figure 1
  • figure 4
  • figure 5
  • table II
  • figure 6
Is this relevant?
2012
2012
This paper presents the traction motor sizing for optimal urban fuel economy in two mild and three strong hybridization… Expand
  • table 1
  • table 2
Is this relevant?
2011
2011
We propose a model-checking tool for on-the-fly verification of properties expressed in a branching-time temporal logic based on… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2009
2009
Service-oriented computing, an emerging paradigm for distributed computing based on the use of services, is calling for the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2008
2008
We introduce a logical verification framework for checking functional properties of service-oriented applications formally… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?