Sciweavers

2068 search results - page 190 / 414
» On Effectiveness of Application-Layer Coding
Sort
View
HPCA
2008
IEEE
16 years 6 months ago
Serializing instructions in system-intensive workloads: Amdahl's Law strikes again
Serializing instructions (SIs), such as writes to control registers, have many complex dependencies, and are difficult to execute out-of-order (OoO). To avoid unnecessary complexi...
Philip M. Wells, Gurindar S. Sohi
POPL
2004
ACM
16 years 6 months ago
A type system for well-founded recursion
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
Derek Dreyer
CHI
2010
ACM
16 years 27 days ago
Evaluating cues for resuming interrupted programming tasks
Developers, like all modern knowledge workers, are frequently interrupted and blocked in their tasks. In this paper we present a contextual inquiry into developers’ current stra...
Chris Parnin, Robert DeLine
DSN
2009
IEEE
16 years 24 days ago
Fitness-guided path exploration in dynamic symbolic execution
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wo...
VTC
2007
IEEE
103views Communications» more  VTC 2007»
16 years 9 days ago
Joint use of Overlap FDE and STTD for MC-CDMA Downlink Transmission
— Recently, multi-carrier code division multiple access (MC-CDMA) has been attracting much attention for the next generation mobile communications systems. Using frequencydomain ...
Hiromichi Tomeba, Kazuaki Takeda, Fumiyuki Adachi