Sciweavers

35419 search results - page 7018 / 7084
» How are we doing
Sort
View
ISSTA
2004
ACM
15 years 9 months ago
Optimal strategies for testing nondeterministic systems
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
Lev Nachmanson, Margus Veanes, Wolfram Schulte, Ni...
137
Voted
MM
2004
ACM
100views Multimedia» more  MM 2004»
15 years 9 months ago
GURU: a multimedia distance-learning framework for users with disabilities
GURU is a distance-learning environment that renders multimedia information to users with disabilities in an accessible manner. It is an implementation framework developed as part...
Vidhya Balasubramanian, Nalini Venkatasubramanian
138
Voted
PASTE
2004
ACM
15 years 9 months ago
Mock object creation for test factoring
Test factoring creates fast, focused unit tests from slow systemwide tests; each new unit test exercises only a subset of the functionality exercised by the system tests. Augmenti...
David Saff, Michael D. Ernst
118
Voted
PLDI
2004
ACM
15 years 9 months ago
Vectorization for SIMD architectures with alignment constraints
When vectorizing for SIMD architectures that are commonly employed by today’s multimedia extensions, one of the new challenges that arise is the handling of memory alignment. Pr...
Alexandre E. Eichenberger, Peng Wu, Kevin O'Brien
140
Voted
PLDI
2004
ACM
15 years 9 months ago
Kill-safe synchronization abstractions
e Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Ma...
Matthew Flatt, Robert Bruce Findler
« Prev « First page 7018 / 7084 Last » Next »