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
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
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
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
2012
2012
We introduce a logical verification methodology for checking behavioral properties of service-oriented computing systems. Service… Expand
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
Highly Cited
2008
Highly Cited
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
1998
1998
The stereochemistry of the chlorination reactions with SOCl2 of free ephedrine and pseudoephedrine and their hydrochlorides… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 8
  • figure 10
Highly Cited
1952
Highly Cited
1952
Welcome to SOCL 2201, a.k.a Astats@. Most likely, you enrolled in this course because Astats@ is required for your major. Why do… Expand