Skip to main content

Home/ Programming Everything!/ Group items tagged microsoft

Rss Feed Group items tagged

Filter: All | Bookmarks | Topics Simple Middle
Aasemoon =)

Don Syme's WebLog on F# and Related Topics : F# 2.0 Released - 0 views

blogs.msdn.com/...art-of-visual-studio-2010.aspx

programming coding F# .NET visual studio technology don syme functional programming

shared by Aasemoon =) on 26 Apr 10 - Cached
  • Today sees the launch of Visual Studio 2010, at five launch events around the world, as announced by Bob Muglia, Jason Zander and S. Somasegar, and presented live today in Las Vegas.   Visual Studio 2010 includes the official version 2.0 of the F# language. As is our custom on the F# team, we also release a matching MSI and ZIP of F# 2.0 (for use with Visual Studio 2008 and as a standalone compiler on a range of platforms)   Today represents the culmination of 7 years of work on the language at Microsoft Research, and, more recently, the Microsoft Developer Division. I am immensely proud of what we’ve achieved. F# brings a productive functional and object-oriented programming language to .NET, extending the platform to new audiences in technical, algorithmic, data-rich, parallel and explorative domains, and its inclusion in Visual Studio 2010 represents a huge milestone for the language.   To help understand what we’re doing with F#, I’ve listed some of the common questions people have about the language below.  We thank everyone who has been involved in the production of F#, especially the many users who have given us feedback on the language!
Aasemoon =)

Real World Functional Programming - 0 views

msdn.microsoft.com/...hh314518.aspx

programming functional programming F# coding technology

shared by Aasemoon =) on 08 Oct 11 - No Cached
  • Introducing Functional Programming Server-Side Functional Programming Developing Client-Side Applications Numerical Computing Working with Data Visualizing Data with .NET Charts
Aasemoon =)

Dr Dobbs - F#: Putting the 'Fun' into 'Functional' - 0 views

www.drdobbs.com/...5CN1V1HR3JVQE1GHPCKH4ATMY32JVN

F# functional programming coding programming visual studio .Net

shared by Aasemoon =) on 06 May 10 - Cached
  • You would be forgiven if you thought the "F" in F# -- which made its debut as part of Visual Studio 2010 -- stands for "functional." After all, F# (pronounced "F sharp") is a functional programming language for the .NET Framework that combines the succinct, expressive, and compositional style of functional programming with the runtime, libraries, interoperability, and object model of .NET. But Don Syme, inventor of F# and leader of the team that incubated the language, has a different, truncated, and entirely whimsical definition. "In the F# team," says Syme, a principal researcher at Microsoft Research Cambridge, "We say, 'F is for Fun.' F# enables users to write simple code to solve complex problems. Programming with F# really does make many programming tasks simpler, and our users have consistently reported that they've found using the language enjoyable." Indeed, F#, which has been developed in a partnership between Microsoft Research and the Microsoft Developer Division, is already popular with the .NET developer community. The language is widely known in the academic community and among thought leaders, and the list of admirers will only increase as Visual F#, the result of a partnership between Microsoft Research Cambridge and Microsoft's Developer Division, becomes a first-class language in Visual Studio 2010.
Aasemoon =)

C9 Lectures: Dr. Don Syme - Introduction to F#, 1 of 3 | Going Deep | Channel 9 - 0 views

channel9.msdn.com/...-Syme-Introduction-to-F-1-of-3

programming coding technology .NET F# Channel 9 functional programming Don Syme

shared by Aasemoon =) on 06 Feb 10 - Cached
  • F# is Microsoft's first functional programming language to be included as one of Visual Studio's official set of languages. F# is a succinct, efficient, expressive functional/object-oriented programming language under joint development by Microsoft Developer Division and Microsoft Research. During the course of Erik Meijer's fantastic lecture series on functional programming fundamentals several of you asked for examples of specific topics in F#. Well, we listened. Dr. Don Syme is a principal researcher in MSR Cambridge. He has a rich history in programming language research, design, and implementation (C# generics being one of his most recognized implementations), and is the principle creator of F#. Who better to lecture on the topic than Don? This three part series will serve as an introduction to F#, including insights into the rationale behind the history and creation of Microsoft's newest language.
Aasemoon =)

untitled - 0 views

channel9.msdn.com/...Coding-4-DNA

programming microsoft channel 9 dna coding technology science

shared by Aasemoon =) on 23 Mar 10 - Cached
  • Andrew Phillips holds the title of Scientist with Microsoft Research Cambridge, and he's working on a method of programming that compiles into DNA. Part of this involves a visual programming language called Stochastic Pi Machine, or SPiM. This system models biological processes to help give researchers feedback on how organisms will react to modifications. The hope is that this can be used to help scientists program for large biological systems using modular components compiled to DNA. Yes, I’m in way over my head here, but I do my best to ask Andrew about the role this will play in medical treatment going forward, what it means to DNA computing, and the ability of back-engineering the genetic code we don’t use now
Aasemoon =)

Coding 4 DNA | LarryLarsen | Channel 9 - 0 views

channel9.msdn.com/...Coding-4-DNA

programming coding technology channel 9 microsoft DNA

shared by Aasemoon =) on 13 Apr 10 - Cached
  • Andrew Phillips holds the title of Scientist with Microsoft Research Cambridge, and he's working on a method of programming that compiles into DNA. Part of this involves a visual programming language called Stochastic Pi Machine, or SPiM. This system models biological processes to help give researchers feedback on how organisms will react to modifications. The hope is that this can be used to help scientists program for large biological systems using modular components compiled to DNA. Yes, I’m in way over my head here, but I do my best to ask Andrew about the role this will play in medical treatment going forward, what it means to DNA computing, and the ability of back-engineering the genetic code we don’t use now.
Andrey Karpov

What environment do Microsoft developers use, I wonder? Linux? - 0 views

www.viva64.com/0181

dev windows 8 programming pvs-studio Windows Defender

shared by Andrey Karpov on 27 Nov 12 - No Cached
  • Andrey Karpov on 27 Nov 12
     
    I'm joking about Linux, of course. Nevertheless, this question really interests me. I understand that systems they work on in Microsoft are large and complex. I know very well that bugs may be detected by users only some time later after release. But I don't understand how can one simply not notice obvious bugs in the tools the developers themselves are meant to use regularly?
Aasemoon =)

Local Verification of Global Invariants in Concurrent Programs - Microsoft Research - 0 views

research.microsoft.com/...default.aspx

microsoft research concurrency programming coding VCC

shared by Aasemoon =) on 15 Feb 10 - Cached
  • We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide simple, sufficient conditions for checking those global invariants modularly. The method has been implemented in VCC, an automatic, sound, modular verifier for concurrent C programs. VCC has been used to verify functional correctness of tens of thousands of lines of Microsoft's Hyper-V virtualization platform and of SYSGO's embedded real-time operating system PikeOS.
Aasemoon =)

High-quality multi-pass image resampling - Microsoft Research - 0 views

research.microsoft.com/...default.aspx

microsoft research programming image resampling multi pass

shared by Aasemoon =) on 15 Feb 10 - Cached
  • This paper develops a family of multi-pass image resampling algorithms that use one-dimensional filtering stages to achieve high-quality results at low computational cost. Our key insight is to perform a frequency-domain analysis to ensure that very little aliasing occurs at each stage in the multi-pass transform and to insert additional stages where necessary to ensure this. Using one-dimensional resampling enables the use of small resampling kernels, thus producing highly efficient algorithms. We compare our results with other state of the art software and hardware resampling algorithms.
Aasemoon =)

Channel 9: Videos about the people building Microsoft Products & Services - 0 views

channel9.msdn.com/Default.aspx

programming coding channel 9 security Eric Meijer

shared by Aasemoon =) on 23 Apr 10 - Cached
  • Dr. Cormac Herley spends most of his time thinking about why and how computer users reject security advice (originating from both fellow humans and software security warning prompts). Recently, his paper So Long, and No Thanks for the Externalities: the Rational Rejection of Security Advice by Users, received a fair amount of attention from the general media (Boston Globe, Tech Republic, NPR, etc). The paper also prompted our favorite software renegade, Dr. Erik Meijer, to send me an email simply asking "please set up and E2E with Cormac Herley". I did just that and the following conversation is what happened...
Aasemoon =)

CHESS: Disciplined Concurrency Testing - Microsoft Research - 0 views

research.microsoft.com/...default.aspx

programming coding microsoft concurrency technology

shared by Aasemoon =) on 17 May 10 - Cached
  • CHESS is a tool for disciplined testing of concurrent programs. CHESS requires users to develop concise concurrent tests for that explore one concurrency scenario—or a few scenarios—in their programs. Given such a test, CHESS systematically enumerates all behaviors of the program being tested to find concurrency errors, data races, deadlocks, and livelocks.
Andrey Karpov

Extending Visual Studio - 0 views

www.viva64.com/0165

Visual Studio plug-ins c#

shared by Andrey Karpov on 12 Nov 12 - No Cached
  • Andrey Karpov on 12 Nov 12
     
    Visual Studio provides very powerful capabilities for us to extend its functional using various technologies and approaches. You can both automate routine actions using simplest macros and carry out a deep integration of any third-party or your own user components. In fact, while extending Visual Studio, you are limited only by your own imagination, so you can realize such eccentric solutions as integration of your favorite Instant Messenger client into the project window, or even an "achievements for developers" ( http://visualstudiogallery.msdn.microsoft.com/bc7a433b-b594-48d4-bba2-a2f24774d02f ) system like in videogames! After all, any serious developer must know and be able to adjust the development environment to his/her own needs, as well as be able to handle its possible "glitches". At the same time, creating extensions is nowadays simple and transparent as never before, regardless of your previous experience of working with Visual Studio! You can both integrate a native library module that will be able to directly handle the low-level COM interfaces of the API environment, and a managed build that will have an access to almost all of these APIs through convenient managed wraps. While the native unit will surely provide the developer with the absolute control over the situation, using managed builds for extensions will help you get rid of a very complicated process of calculating the number of COM-objects instances and direct memory handling, allowing you to focus on implementing the functionality you need with all the power .NET Framework and Common Language Runtime can provide. If you've got interested in the subject of extending Visual Studio, you can try it right now starting with 3 simple steps described in this article. This guide will allow you to create a completely functional managed extension module for all the Visual Studio versions literally within 10 minutes and start using your functional at once, while the rest articles of this series
Andrey Karpov

Implementing Windows Runtime interfaces in C#, C++/CX and C++/WRL - 0 views

www.codeproject.com/...s-Runtime-interfaces-in-Csharp

windows c++ cpp c++_cx

shared by Andrey Karpov on 28 Apr 13 - No Cached
  • Andrey Karpov on 28 Apr 13
     
    In the recent releases of Microsoft* Visual Studio 2012 and Windows 8* with Windows Runtime as a common foundation, there are many new things to investigate. This article demonstrates how to implement interfaces with equal set of methods and properties in various languages. This can be valuable in iterative development or just helpful in better understanding interfaces in Windows Runtime.
Aasemoon =)

Anders Hejlsberg: Introducing Async - Simplifying Asynchronous Programming | Charles | ... - 0 views

channel9.msdn.com/...rs-Hejlsberg-Introducing-Async

technology programming coding C# VB.Net .net Async CTP microsoft

shared by Aasemoon =) on 19 Nov 10 - No Cached
  • Microsoft Technical Fellow and C# creator Anders Hejlsberg explains the new C# and VB.NET asynchronous programming model, available as Async CTP now, which makes async programming much easier for .NET developers.
Aasemoon =)

Simple Interface for Reconfigurable Computing (SIRC) - Microsoft Research - 0 views

research.microsoft.com/...default.aspx

technology programming electronics coding engineering fpgas

shared by Aasemoon =) on 13 Mar 10 - Cached
  • This API provides users with a standard FPGA communication interface from C++ code. It is intended to encourage more widespread adoption of FPGAs and reconfigurable computing platforms—particularly among Windows application developers
Aasemoon =)

C# 4.0 and beyond by Anders Hejlsberg | Matthijs Hoekstra | Channel 9 - 0 views

channel9.msdn.com/...and-beyond-by-Anders-Hejlsberg

technology c# .NET programming coding channel 9

shared by Aasemoon =) on 26 Apr 10 - Cached
  • In this talk Microsoft Technical Fellow and C# Chief Architect Anders Hejlsberg gives an overview of the new features in C# 4.0, including dynamic typing, co- and contra-variance, named and optional parameters, and improved COM interoperability. Anders will also discuss some of the ideas that are envisioned for future versions of C#. This session is presented by Anders Hejlsberg during Microsoft DevDays 2010 in The Hague in The Netherlands.
Aasemoon =)

C# 4.0 - Beginners look into parallel programming | .NET Zone - 0 views

dotnet.dzone.com/...c-40-begginers-look-parallel

programming coding microsoft concurrency parallel programming .net c#

shared by Aasemoon =) on 19 May 10 - Cached
  • When C# 4.0 was released we C# developers were given a new toy. to play with, and that's Parallel Programming. This is done with the System.Threading.Tasks.Parallel Namespace. This allows for parallel loops & regions (to be discussed at a later date). What is parallel programming you ask, well in todays age most, if not all, household computers have multi-core processors, and parallel programming allows us to take davantage of this new found power, well not actually new as multi-core processors have been around a while now, but software has not kept up with the changes in hardware.
Aasemoon =)

DryadLINQ | TechFairSV | Channel 9 - 0 views

channel9.msdn.com/...DryadLINQ

dryadlinq channel 9 .net programming coding microsoft LINQ dryad

shared by Aasemoon =) on 30 May 10 - Cached
  • In this demo we showcase efforts in MSR to collaborate with external researchers to explore the application of new technologies, specifically Dryad and DryadLINQ, to big data research problems in science. We also highlight our efforts to provide software and services to academics across the world, through the release of Dryad and DryadLINQ free of charge to the research community, along with associated programming guides, user documentation, and code libraries. Dryad is a general-purpose distributed computing engine, more flexible than MapReduce or Hadoop!, that was designed to simplify the task of implementing distributed applications on clusters of Windows computers. DryadLINQ is an abstraction layer which simplifies the process of implementing Dryad-based applications. Microsoft Research is acutely aware of the ubiquity of big data and the challenges this presents. We are offering researchers the tools, resources and collaboration to explore this new area.
roydesuza

Top 10 IT software development companies in India - 0 views

www.articlesbase.com/...ompanies-in-india-7355773.html

software development

shared by roydesuza on 30 Nov 15 - No Cached
  • roydesuza on 30 Nov 15
     
    MindStick Software is headquartered in Allahabad, Uttar Pradesh. It was established in 2010 and founded by Mr. Uttam Mishra. MindStick Software is a Microsoft ISV Gold partner in software application development and expertise in software product design, custom programming, database design, web design and programming and cutting edge mobile applications development.
Andrey Karpov

Windows 8 app samples (C++, C#, VB.NET, JavaScript) - 0 views

code.msdn.microsoft.com/...ows-8-Modern-Style-App-Samples

win8 c++ c# vb.net javascript

shared by Andrey Karpov on 11 Feb 13 - No Cached
  • Andrey Karpov on 11 Feb 13
     
    This sample pack includes all the app code examples developed for Windows 8. The sample pack provides a convenient way to download all the samples at once. The samples in this sample pack are available in C#, C++, VB.NET, and JavaScript.
1 - 20 of 25 Next ›
Showing 20▼ items per page