BT
rss
Seguidores

LINQ para Z3, O Mais Rápido Comprovador de Teoremas do Mundo

por Jonathan Allen Seguir 638 Seguidores , traduzido por Lucas Souza Seguir 0 Seguidores   em  29 nov, 2010

A Microsoft Research afirma que o Z3 é o mais rápido comprovador de teoremas do mundo. Z3 está projetado para ser uma ferramenta de baixo nível para outras aplicações. Ele é usado por inúmeros projetos incluindo Spec#/Boogie, Pex, Yogi, Vigilante, SLAM, F7, SAGE, VS3, FORMULA, e HAVOC. Com o LINQ criado por Bart De Smet, usar esta ferramenta tornou-se fácil.

Seguidores

LLBLGen Pro 3.0 agora com suporte a múltiplos frameworks de persistência

por Abel Avram Seguir 12 Seguidores , traduzido por Lucas Souza Seguir 0 Seguidores   em  17 jun, 2010

O LLBLGen Pro é uma ferramenta ORM que suporta múltiplos frameworks de mapeamento: LLBLGen Pro Runtime, Entity Framework, NHibernate e LINQ to SQL. Outras novas funcionalidades são: suporte ao .NET 4.0, model-first ou database-first development mode, model view e project validation.

Seguidores

LINQ na GPU com Brahma

por Abel Avram Seguir 12 Seguidores , traduzido por Andrew Kurauchi Seguir 0 Seguidores   em  06 mai, 2010

Brahma é uma biblioteca C# open source que oferece suporte a computações paralelas rodando em uma variedade de processadores. Atualmente o Brahma possui um GPU provider, mas a sua estrutura modular permite a utilização de deferentes providers para outros tipos de processadores. Um método C# pode conter comandos rodando tanto na CPU quanto na GPU sem código adicional.

Seguidores

Padrões e Exemplos para o .NET Parallel Extensions

por Jonathan Allen Seguir 638 Seguidores , traduzido por Alexandre Atoji Seguir 0 Seguidores   em  26 abr, 2010

Apesar da Microsoft estar trabalhando no .NET's Parallel Extensions desde 2007, ainda existem algumas funcionalidades que eles não tiveram tempo de implementar completamente no .NET 4.0. Pensando em adquirir feedback mais rápido foi disponibilizado um conjunto de padrões e exemplos para que o mesmo possa ser testado por mais usuários.

Seguidores

Ferramentas de ORM Profiling para a Plataforma .NET

por Jonathan Allen Seguir 638 Seguidores , traduzido por Carlos Tadeu Panato Jr. Seguir 0 Seguidores   em  20 nov, 2009

Infelizmente, os termos "ORM" e "problemas de performance" freqüentemente caminham juntos. Ao ocultar o SQL dos desenvolvedores, ORMs pode oferecer um aumento de produtividade enorme. Infelizmente, eles tornam mais fácil gerar consultas ridiculamente ruins, sem percebermos.

Seguidores

Lançado o provedor LINQ para NHibernate

por Al Tenhundfeld Seguir 0 Seguidores , traduzido por Marcus Rehm Seguir 0 Seguidores   em  19 ago, 2009

A versão 1.0 do provedor Linq para NHibernate foi lançado e está disponível para download junto com o NHibernate 2.1. NHibernate Linq 1.0 é um provedor LINQ baseado na API Criteria do NHibernate e suporta a maioria das operações disponíveis.

Seguidores

Mudanças no LINQ to SQL no .NET 4.0

por Jonathan Allen Seguir 638 Seguidores , traduzido por Carlos Mendonça Seguir 0 Seguidores   em  13 jul, 2009

O Damien Guard, do gurpo Data Programmability da Microsoft postou uma longa lista de mudanças no LINQ to SQL. Apesar de eles ainda estarem compromissados com o Entity Framework no longo prazo, isso vai aliviar o medo de que o LINQ to SQL será totalmente negligenciado no meio tempo.

Seguidores

LINQ to XSD Lançado no CodePlex

por Jonathan Allen Seguir 638 Seguidores , traduzido por Rony Barbosa Seguir 0 Seguidores   em  16 jun, 2009

LINQ to XSD é a mais esperada continuação do LINQ to XML. Sua principal proposta é produzir modelos de objetos LINQ a partir de arquivos XSD, fornecendo aos desenvolvedores alguma moderação da checagem de tipo estático durante o acesso dos dados XML.

Seguidores

O que o .NET 4.0 Beta 1 vai trazer para o PLINQ?

por Abel Avram Seguir 12 Seguidores , traduzido por Felipe Vargas Rigo Seguir 0 Seguidores   em  21 mai, 2009

Ed Essey, um Gerente de Software no time Microsoft Parallel Computing, escreveu sobre as últimas melhorias para o PLINQ que irão aparecer no .NET 4.0 Beta 1 que será liberado logo. Algumas delas são: Padrão de Operadores “With“, Modo de Execução, Cancelamento, Refatoração, Melhorias de Performance.

Seguidores

LINQ-to-Twitter, mais um provedor LINQ

por Abel Avram Seguir 12 Seguidores , traduzido por Carlos Mendonça Seguir 0 Seguidores   em  30 mar, 2009

Mehfuz Hossain, um MVP da Microsoft, criou um provedor LINQ-to-Twitter. Este é mais um exemplo demonstrando que o LINQ não é um framework para acessar apenas dados em um banco, mas que também pode ser utilizado com qualquer tipo de objeto, inclusive tweets.

Seguidores

JSINQ, uma implementação JavaScript do LINQ

por Abel Avram Seguir 12 Seguidores , traduzido por Felipe Rodrigues Seguir 0 Seguidores   em  13 fev, 2009

JSINQ significa JavaScript INtegrated Query, um projeto beta que implementa LINQ to Objects em JavaScript e que foi recentemente liberado no CodePlex pelo Kai Jäger. JSINQ contém 2 módulo, Enumerable e implementação de Query, System.Linq.Enumerable e System.Linq.Queryable respectivamente, permitindo enumerar arrays, listas de nós DOM ou outros objetos.

Seguidores

Master LINQ com LINQPad

por Al Tenhundfeld Seguir 0 Seguidores , traduzido por Flávia Castro de Oliveira Seguir 0 Seguidores   em  10 fev, 2009

LINQPad é basicamente um interpretador LINQ com uma IDE e integração SQL em torno dele. LINQPad tem uma interface simples mas poderosa que permite a execução imediata de expressões LINQ, incluindo multi-statement trechos do LINQ to SQL, LINQ to Objects, e LINQ to XML.

Seguidores

LINQ e Tipagem Dinâmica

por Jonathan Allen Seguir 638 Seguidores , traduzido por Douglas Masson Seguir 0 Seguidores   em  18 dez, 2008

A maior característica do C# 3 foi à tecnologia LINQ. Com o C# 4, parece que a tipagem dinâmica vai roubar a cena. Mas você pode usá-los juntos?

Seguidores

Data Server Provider da IBM para .NET Suporta o Entity Framework

por Abel Avram Seguir 12 Seguidores , traduzido por Douglas Masson Seguir 0 Seguidores   em  18 dez, 2008

A IBM disponibilizou a versão de produção do Data Server Provider for .NET incluindo suporte para Entity Framework da Microsoft permitindo que seus usuários criem esquemas EDM e executem declarações EntitySQL e LINQ.

Seguidores

Estaria o LINQ to SQL realmente morto?

por Jonathan Allen Seguir 638 Seguidores , traduzido por Victor Hugo Seguir 0 Seguidores   em  14 nov, 2008

Em Julho nós reportamos que o LINQ to SQL foi transferido para a equipe SQL Data Programmability. Este evento ampliou em muito a preocupação da comunidade de desenvolvedores, que teme que o trabalho no LINQ to SQL possa ser interrompido em favor do Entity Framework ADO.NET. Um anúncio recente de Tim Mallalieu, gerente de Produto de ambos LINQ to SQL e Entity Framework, exacerbou esta preocupação.

BT