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

Related topics

Related topics

6 relations
Google+List of Microsoft softwareLoginMicrosoft FUSE Labs

Broader (2)

Microsoft ResearchSocial search

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
MultiCL: Enabling automatic scheduling for task-parallel workloads in OpenCL
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
High Quality Graph-Based Similarity Search
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
Toward OpenCL Automatic Multi-Device Support
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
SOCL: An OpenCL Implementation with Automatic Multi-Device Adaptation Support
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
Research Guides. BHSC / SOCL 348 - Methodology for the Social and Behavioral Sciences . Interlibrary Loans.
 
Is this relevant?
2012
2012
A logical verification methodology for service-oriented computing
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
Traction Motor Sizing for Optimal Fuel Economy in Propulsion Hybridization
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
A Model-Checking Tool for Families of Services
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
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study
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
A Model Checking Approach for Verifying COWS Specifications
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?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE