Sciweavers

2271 search results - page 347 / 455
» Scalable Software Libraries
Sort
View
120
Voted
OOPSLA
2010
Springer
15 years 1 months ago
Random testing for higher-order, stateful programs
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
Casey Klein, Matthew Flatt, Robert Bruce Findler
128
Voted
ASPLOS
2011
ACM
14 years 7 months ago
Specifying and checking semantic atomicity for multithreaded programs
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
Jacob Burnim, George C. Necula, Koushik Sen
107
Voted
WWW
2005
ACM
16 years 4 months ago
Cataclysm: policing extreme overloads in internet applications
In this paper we present the Cataclysm server platform for handling extreme overloads in hosted Internet applications. The primary contribution of our work is to develop a low ove...
Bhuvan Urgaonkar, Prashant J. Shenoy
116
Voted
CHI
2007
ACM
16 years 3 months ago
Localized iterative design for language learning in underdeveloped regions: the PACE framework
Poor literacy remains a decisive barrier to the economic empowerment of many people in the developing world. Of particular importance is literacy in a widely spoken "world la...
Matthew Kam, Divya Ramachandran, Varun Devanathan,...
VLSID
2004
IEEE
212views VLSI» more  VLSID 2004»
16 years 3 months ago
On Design and Implementation of an Embedded Automatic Speech Recognition System
We present a new design of an Embedded Speech Recognition System. It combines the aspects of both hardware and software design to implement a speaker dependent, isolated word, sma...
Sujay Phadke, Rhishikesh Limaye, Siddharth Verma, ...