Sciweavers

7124 search results - page 1083 / 1425
» Programming Languages and Operating Systems
Sort
View
PLDI
2005
ACM
15 years 10 months ago
Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices
Speculative parallelization can provide significant sources of additional thread-level parallelism, especially for irregular applications that are hard to parallelize by conventio...
Carlos García Quiñones, Carlos Madri...
213
Voted
CD
2005
Springer
15 years 10 months ago
Infrastructure for Automatic Dynamic Deployment of J2EE Applications in Distributed Environments
Recent studies showed potential for using component frameworks for building flexible adaptible applications for deployment in distributed environments. However this approach is h...
Anatoly Akkerman, Alexander Totok, Vijay Karamchet...
ESOP
2005
Springer
15 years 10 months ago
Analysis of an Electronic Voting Protocol in the Applied Pi Calculus
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
Steve Kremer, Mark Ryan
137
Voted
ASPLOS
2004
ACM
15 years 10 months ago
Fingerprinting: bounding soft-error detection latency and bandwidth
Recent studies have suggested that the soft-error rate in microprocessor logic will become a reliability concern by 2010. This paper proposes an efficient error detection techniqu...
Jared C. Smolens, Brian T. Gold, Jangwoo Kim, Baba...
SIGSOFT
2004
ACM
15 years 10 months ago
Using an SQL coverage measurement for testing database applications
Many software applications have a component based on database management systems in which information is generally handled through SQL queries embedded in the application code. Wh...
María José Suárez Cabal, Javi...
« Prev « First page 1083 / 1425 Last » Next »