Home Library Formazione Code Download Supporto Community Forums

Microsoft Solver Foundation annunci

  • Collegamento
    Mosek connector for Solver Foundation
    Nate Brixius ex-MSFT

    We are pleased to announce an updated Solver Foundation connector to the popular MOSEK solver. The connector is available as a free download:

    The zip file contains a dll and installation instructions. Also consult this blog post for more information. Using the connector requires the installation of the MOSEK solver - visit mosek.com for details.

  • Collegamento
    Solver Foundation 3.1 released
    Nate Brixius ex-MSFT

    We are pleased to announce the availability of Microsoft Solver Foundation 3.1. You can download the Express version here, and you can read more about it by checking out the Solver Foundation team blog.

    Thanks, Nathan

     

     

  • Collegamento
    The Future of Microsoft Solver Foundation
    Mary Beth Hribar

    As users have pointed out, Microsoft has not been active on the Solver Foundation forums since Nate left.   We have been quiet while we have gone through restructuring and planning.  Some would say we have been too quiet.  We know we have very loyal and enthusiastic users who want to know the future of Solver Foundation.  So, here is a long overdue statement about our plans for Solver Foundation. 

    The current 3.1 release of MSF will be the last release as a standalone install.  We are working hard on integrating Microsoft Solver Foundation into a larger analytics framework that will help users build both prescriptive and predictive analytics.  We look forward to releasing this new product for your use as soon as we are able to do so.  This new product will provide a migration path for current Solver Foundation users and partners.   

    We would like to continue to keep the current forum open to the community to discuss MSF until the release of the new product. However, Microsoft will be providing limited support of MSF in terms of monitoring the forums and providing bug fixes during this transition time.                                                                                                                                

    We have been responding to email and will continue to do so.  If you have feedback on issues/bugs/improvements, we welcome your feedback via msfsupport@microsoft.com.  Please check back on the forum for future announcements with regards to the new analytics product.

    Thanks for your support.

    The Solver Foundation Team

  • Collegamento
    Welcome!
    Nate Brixius ex-MSFT

    Welcome to the Solver Foundation Forum! This is a great place to ask questions about Solver Foundation, talk about how you are using Solver Foundation, and connect with other users. You may also find the following resources helpful:

    Enjoy!

The Forum of Sho annunci

  • Collegamento
    Welcome to the Forum of Sho!
    Sho Team

    Hello and welcome to the Forum of Sho!

     

    This forum is meant to be a community for Sho users where you can share knowledge, get questions answered, and learn from others using Sho. Feel free to post questions about any and all aspects of Sho, and we (as well as other community members) will do our best to get you some answers. We hope that as your expertise in Sho grows, you'll also take the time to answer questions from folks who could benefit from your knowledge and experience.

     

    For more information about Sho, including the latest installer and documentation, check out http://research.microsoft.com/sho

TPL Dataflow annunci

  • Collegamento
    TPL Dataflow in .NET 4.5 RC on NuGet
    Stephen Toub - MSFT Microsoft Employee
    In .NET 4.5 RC, TPL Dataflow is delivered via NuGet at https://nuget.org/packages/Microsoft.Tpl.Dataflow and is supported everywhere that .NET 4.5 runs, including desktop, server, and .NET for Metro style apps. The simplest way to install the package in Visual Studio is to highlight the target project, select Tools > Library Package Manager > Package Manager Console, and at the prompt enter:
        Install-Package Microsoft.Tpl.Dataflow -Pre
    The -Pre flag is needed because these are marked as prerelease versions. You can use the GUI Manage NuGet Packages dialog for this task as well, but when searching make sure to select Include Prerelease from the appropriate drop-down list.  For details about this release, please refer to the blog post at http://blogs.msdn.com/b/bclteam/archive/2012/05/30/mef-and-tpl-dataflow-nuget-packages-for-net-framework-4-5-rc.aspx.
  • Collegamento
    Welcome to the TPL Dataflow forum!
    Stephen Toub - MSFT Microsoft Employee

    "TPL Dataflow" is a new .NET library for building concurrent, parallel, and asynchronous applications.  It enables building systems based on dataflow concepts, on in-process message passing, and on asynchronous pipelines.  This library, System.Threading.Tasks.Dataflow.dll, is heavily inspired by the Visual C++ Asynchronous Agents Library, by the CCR from Microsoft Robotics, by the Axum language, and more; it’s built on top of a multitude of constructs introduced in .NET 4, internally using types like Task and ConcurrentQueue<T>, in order to provide solutions for buffering and processing data, for building systems that need high-throughput and low-latency processing of data, and for building agent/actor-based systems.  TPL Dataflow was also designed to integrate very well with the new language support for tasks, such that you can easily use TPL Dataflow constructs within asynchronous methods, and such that you can harness asynchronous methods within “dataflow blocks.”

    You can download a Community Technology Preview release from the TC Labs site on MSDN DevLabs at http://msdn.microsoft.com/en-us/devlabs/gg585582.  A previous preview release of the DLL is also available as part of the Microsoft Visual Studio Async CTP, available at http://msdn.com/vstudio/async.

    Please use this forum to ask questions about TPL Dataflow, to provide feedback on the library, to let us know about your successes and to let us know about your stumbling blocks.  We look forward to hearing from and conversing with you.

Code Contracts annunci

  • Collegamento
    It has happened. New VS2010 and VS2012 Contract editor extensions are available on the gallery
    RiSE (Research in Software Engineering)

    It has taken a long time, we know, but we have finally released the contract editor extensions for VS2012 and an update to VS2010.

    The new version is much more stable and less CPU consuming than previously and hopefully much more useful as a result.

    For VS2012:  http://visualstudiogallery.msdn.microsoft.com/02de7066-b6ca-42b3-8b3c-2562c7fa024f

    For VS2010: http://visualstudiogallery.msdn.microsoft.com/85f0aa38-a8a8-4811-8b86-e7f0b8d8c71b

    If you haven't tried it yet, then please do and let us know what you think!

    To review, the extensions should show you method contracts in the following situations:

    • While you are typing a call to a method: the signature helper window should show you each overload's contract in the same window as the signature and exception information.
    • Hovering over an existing method call: the quick info window should show you the method's contract in addition to its summary information.
    • Method override and interface implementation definitions: hover over the method name in the signature to see the tooltip of the contracts inherited (or defined in the method).
    • Metadata windows: if you "go to definition" for a type/method that is defined in an external assembly then the metadata window that VS creates should be augmented with method contracts.

    Enjoy.


  • Collegamento
    Release 1.5.60502.11 is now live!
    Manuel Fahndrich Microsoft Employee

    Release 1.5.60502.11 is now live!

    A new release of Code Contracts is now live on the VS Gallery.

    The release notes have been updated.

    Please keep using the forum for communicating with us.

    The VS editor extensions have also been updated on the gallery.




  • Collegamento
    Welcome to Code Contracts for .NET
    Mike Barnett Microsoft Employee
    We are so happy that you are interested in Code Contracts! You are at exactly the right place for learning how to use contracts from any .NET language to:
    • Specify method preconditions for expressing conditions that a caller must meet in order to call a method.
    • Specify method postconditions for expressing conditions that the implementation of a method must meet before returning. Conditions can be specified for both normal termination as well as exceptional termination.
    • Specify object invariants that describe the healthy states for an instance of a class.

     

    We currently provide three tools for making use of contracts:

    • A binary rewriter that operates as a post-build step to inject the contracts into the appropriate places for them to be evaluated at runtime.
    • A static checker that operates as a post-build step to analyze your code without even executing it for potential contract violations.
    • A documentation generator that adds information about the contracts to the XML documentation files for your project.

    The installer for these tools is available for either commercial or non-commercial use.

    We welcome you to use the forum to ask questions about how to use contracts and the tools, to make suggestions for how we can improve, and --- if you really must --- to report bugs and problems.

    You can also check out our home page at Microsoft Research.

  • Collegamento
    External projects using Code Contracts?
    Mike Barnett Microsoft Employee

    We have added a section to our web site listing the external projects that we know about which are using Code Contracts. If you would like your project listed, please send us a link and we'll add it to the list. This would really help us in our efforts to get the project more fully supported by the product groups.

    Thanks!

    Mike

Debugger Canvas annunci

Non è stato trovato alcun risultato nella lingua corrispondente. Per visualizzare il contenuto in tutte le lingue, fare clic QUI o scegliere 'Tutte le lingue' dall'elenco a discesa.

Categories: ["devlabs"] Forums: []

© 2013 Microsoft. Tutti i diritti riservati.
|
Commenti e suggerimenti sul sito