Sciweavers

10899 search results - page 159 / 2180

» The GP Programming System

104

ICRA
2010
IEEE

95views Robotics» more ICRA 2010»

Robust by composition: Programs for multi-robot systems

15 years 5 months ago

Robust by composition: Programs for multi-robot systems

Download soslab.ee.washington.edu

Nils Napp, Eric Klavins

claim paper

Read More »

161

WOA
2010

155views Intelligent Agents» more WOA 2010»

Programming Open Systems with Agents, Environments and Organizations

15 years 4 months ago

Programming Open Systems with Agents, Environments and Organizations

Download woa10.apice.unibo.it

Michele Piunti, Alessandro Ricci, Olivier Boissier...

claim paper

Read More »

177

TDSC
2011

211views Theoretical Computer Science» more TDSC 2011»

A Tamper-Resistant Programming Language System

15 years 1 months ago

A Tamper-Resistant Programming Language System

Download www.cs.colorado.edu

Dennis Heimbigner

claim paper

Read More »

162

ENASE
2010

151views Hardware» more ENASE 2010»

Froglingo - A Monolithic Alternative to DBMS, Programming Language, Web Server and File System

15 years 1 months ago

Froglingo - A Monolithic Alternative to DBMS, Programming Language, Web Server and File System

Download www.bigravity.com

Kevin H. Xu, Jingsong Zhang, Shelby Gao

claim paper

Read More »

179

POPL
2010
ACM

231views Programming Languages» more POPL 2010»

From Program Verification to Program Synthesis

16 years 3 months ago

From Program Verification to Program Synthesis

Download www.cs.umd.edu

This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...

Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Fost...

claim paper

Read More »

« Prev « First page 159 / 2180 Last » Next »