Sciweavers

10585 search results - page 360 / 2117

» The Orc Programming Language

156

IFIP
2003
Springer

115views Programming Languages» more IFIP 2003»

IST Project: BroadWay - The Way to Broadband Access at 60 GHz

16 years 19 days ago

IST Project: BroadWay - The Way to Broadband Access at 60 GHz

Download cgi.di.uoa.gr

Athanasios Vaios, Ioannis Stavrakakis

claim paper

Read More »

145

PLDI
2010
ACM

156views Programming Languages» more PLDI 2010»

Safe programmable speculative parallelism

16 years 15 days ago

Safe programmable speculative parallelism

Download research.microsoft.com

Prakash Prabhu, Ganesan Ramalingam, Kapil Vaswani

claim paper

Read More »

175

POPL
2010
ACM

206views Programming Languages» more POPL 2010»

Paralocks : Role-Based Information Flow Control and Beyond

16 years 8 days ago

Paralocks : Role-Based Information Flow Control and Beyond

Download www.cse.chalmers.se

Niklas Broberg, David Sands

claim paper

Read More »

232

ERLANG
2009
ACM

228views Programming Languages» more ERLANG 2009»

Automatic testing of TCP/IP implementations using QuickCheck

16 years 3 days ago

Automatic testing of TCP/IP implementations using QuickCheck

Download www.erlang-factory.com

Javier Paris, Thomas Arts

claim paper

Read More »

229

PADL
2001
Springer

114views Programming Languages» more PADL 2001»

An A-Prolog Decision Support System for the Space Shuttle

15 years 12 months ago

An A-Prolog Decision Support System for the Space Shuttle

Download www.kestreltechnology.com

The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...

Monica Nogueira, Marcello Balduccini, Michael Gelf...

claim paper

Read More »

« Prev « First page 360 / 2117 Last » Next »