Sciweavers

949 search results - page 47 / 190
» Programmed Mutagenesis Is Universal
Sort
View
CHI
2009
ACM
16 years 5 months ago
Programming reality: from transitive materials to organic user interfaces
Over the past few years, a quiet revolution has been redefining our fundamental computing technologies. Flexible E-Ink, OLED displays, shape-changing materials, parametric design,...
Marcelo Coelho, Ivan Poupyrev, Sajid Sadi, Roel Ve...
ECOOP
2010
Springer
15 years 9 months ago
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
Scott Owens
SIGPLAN
2008
15 years 4 months ago
Addressing the disconnect between the good and the popular
For several decades universities have taught programming languages as a fundamental part of their undergraduate curriculum. These courses cover the core topics used in the design ...
Michael Hind
SIGCSE
1997
ACM
121views Education» more  SIGCSE 1997»
15 years 8 months ago
Application-based modules using apprentice learning for CS 2
A typical Data Structures (CS 2) course covers a wide variety of topics: elementary algorithm analysis; data structures including dynamic structures, trees, tables, graphs, etc.; ...
Owen L. Astrachan, Robert F. Smith, James T. Wilke...
ESOP
2008
Springer
15 years 6 months ago
Ranking Abstractions
Abstractions Aziem Chawdhary1 , Byron Cook2 , Sumit Gulwani2 , Mooly Sagiv3 , and Hongseok Yang1 1 Queen Mary, University of London 2 Microsoft Research 3 Tel Aviv University Abstr...
Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly ...