1943 search results - page 331 / 389 » Software and higher education |
TIP
2010
14 years 4 months ago
2010
We develop two new algorithms for tomographic reconstruction which incorporate the technique of equally-sloped tomography (EST) and allow for the optimized and flexible implementat...
102
click to vote
TKDE
2010
14 years 4 months ago
2010
Adaptive join algorithms have recently attracted a lot of attention in emerging applications where data is provided by autonomous data sources through heterogeneous network environ...
HICSS
2011
IEEE
14 years 1 months ago
2011
IEEE
A new digital divide is emerging both within and between nations that is due to inequalities in broadband Internet access. Our research examines the broadband digital divide by an...
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
We present a technique that improves random test generation by incorporating feedback obtained from executing test inputs as they are created. Our technique builds inputs incremen...
111
click to vote
ICFP
2004
ACM
15 years 10 months ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...