Sciweavers

2435 search results - page 45 / 487
» GPSS - 40 years of development
Sort
View
CHI
2011
ACM
12 years 11 months ago
Infrastructures for low-cost laptop use in Mexican schools
In recent years, a number of low-cost laptops have been created for children’s education, most notably the XO, developed by One Laptop per Child to embody principles of construc...
Ruy Cervantes, Mark Warschauer, Bonnie A. Nardi, N...
LPAR
2012
Springer
12 years 3 months ago
The TPTP Typed First-Order Form with Arithmetic
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Pe...
ISHPC
2000
Springer
13 years 11 months ago
The New DRAM Interfaces: SDRAM, RDRAM and Variants
For the past two decades, developments in DRAM technology, the primary technology for the main memory of computers, have been directed towards increasing density. As a result 256 M...
Brian Davis, Bruce L. Jacob, Trevor N. Mudge
IFIPTCS
2000
13 years 11 months ago
List Decoding: Algorithms and Applications
Over the years coding theory and complexity theory have benefited from a number of mutually enriching connections. This article focuses on a new connection that has emerged betwee...
Madhu Sudan
ATAL
1995
Springer
13 years 11 months ago
Experiences with an Architecture for Intelligent, Reactive Agents
This paper describes an implementation of the 3T robot architecture which has been under development for the last eight years. The architecs three levels of abstraction and descri...
R. Peter Bonasso, David Kortenkamp, David P. Mille...