1557 search results - page 136 / 312 » Programming up to Congruence |
109
click to vote
VL
1997
IEEE
15 years 3 months ago
1997
IEEE
Visual programming approaches are limited in their usefulness if they do not include a profile of their users that defines exactly who is attempting to solve what kind of problems...
122
click to vote
OSDI
2008
ACM
15 years 1 months ago
2008
ACM
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments su...
DAGSTUHL
2006
15 years 22 days ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
111
click to vote
ISCA
2012
IEEE
13 years 1 months ago
2012
IEEE
Efficient execution of well-parallelized applications is central to performance in the multicore era. Program analysis tools support the hardware and software sides of this effor...
DAC
2009
ACM
16 years 9 days ago
2009
ACM
This paper introduces Way Stealing, a simple architectural modification to a cache-based processor to increase data bandwidth to and from application-specific Instruction Set Exte...