Sciweavers

2271 search results - page 318 / 455
» Scalable Software Libraries
Sort
View
204
Voted
PEPM
2007
ACM
17 years 1 months ago
Concoqtion: Indexed types now!
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...
Emir Pasalic, Jeremy G. Siek, Seth Fogarty, Walid ...
250
Voted
CC
2009
Springer
141views System Software» more  CC 2009»
16 years 4 months ago
Compile-Time Analysis and Specialization of Clocks in Concurrent Programs
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...
Nalini Vasudevan, Olivier Tardieu, Julian Dolby, S...
104
Voted
CHI
2009
ACM
16 years 4 months ago
Using strokes as command shortcuts: cognitive benefits and toolkit support
This paper investigates using stroke gestures as shortcuts to menu selection. We first experimentally measured the performance and ease of learning of stroke shortcuts in comparis...
Caroline Appert, Shumin Zhai
105
Voted
CHI
2005
ACM
16 years 4 months ago
Extensible input handling in the subArctic toolkit
The subArctic user interface toolkit has extensibility as one of its central goals. It seeks not only to supply a powerful library of reusable interactive objects, but also make i...
Scott E. Hudson, Jennifer Mankoff, Ian E. Smith
SIGMOD
2009
ACM
218views Database» more  SIGMOD 2009»
16 years 3 months ago
DejaVu: declarative pattern matching over live and archived streams of events
DejaVu is an event processing system that integrates declarative pattern matching over live and archived streams of events on top of a novel system architecture. We propose to dem...
Nihal Dindar, Baris Güç, Patrick Lau, ...