336 search results - page 40 / 68 » Program Speedups in Theory and Practice |
CSCL
2007
15 years 14 days ago
2007
Traditionally, universities focus primarily on instructionist teaching. Such an understanding has been criticized from theoretical and practical points of view. We believe that so...
184
Voted
POPL
2007
ACM
16 years 25 days ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...
181
Voted
POPL
2005
ACM
16 years 25 days ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
101
Voted
ISCA
2009
IEEE
15 years 7 months ago
2009
IEEE
While microprocessor designers turn to multicore architectures to sustain performance expectations, the dramatic increase in parallelism of such architectures will put substantial...
99
Voted
ICTAC
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...