Sciweavers

10575 search results - page 332 / 2115

» T2Script Programming Language

154

IFIP
2003
Springer

115views Programming Languages» more IFIP 2003»

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

16 years 14 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 »

142

PLDI
2010
ACM

156views Programming Languages» more PLDI 2010»

Safe programmable speculative parallelism

16 years 10 days ago

Safe programmable speculative parallelism

Download research.microsoft.com

Prakash Prabhu, Ganesan Ramalingam, Kapil Vaswani

claim paper

Read More »

172

POPL
2010
ACM

206views Programming Languages» more POPL 2010»

Paralocks : Role-Based Information Flow Control and Beyond

16 years 4 days ago

Paralocks : Role-Based Information Flow Control and Beyond

Download www.cse.chalmers.se

Niklas Broberg, David Sands

claim paper

Read More »

231

ERLANG
2009
ACM

228views Programming Languages» more ERLANG 2009»

Automatic testing of TCP/IP implementations using QuickCheck

15 years 12 months ago

Automatic testing of TCP/IP implementations using QuickCheck

Download www.erlang-factory.com

Javier Paris, Thomas Arts

claim paper

Read More »

225

PADL
2001
Springer

114views Programming Languages» more PADL 2001»

An A-Prolog Decision Support System for the Space Shuttle

15 years 11 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 332 / 2115 Last » Next »