2797 search results - page 488 / 560 » Code query by example |
118
click to vote
WWW
2009
ACM
16 years 3 months ago
2009
ACM
Since the invention of the Web, the browser has become more and more powerful. By now, it is a programming and execution environment in itself. The predominant language to program...
239
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
126
click to vote
ICA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Separation of underdetermined mixtures is an important problem in signal processing that has attracted a great deal of attention over the years. Prior knowledge is requir...
100
click to vote
TLDI
2005
ACM
15 years 8 months ago
2005
ACM
Coordinated data structures are sets of (perhaps unbounded) data structures where the nodes of each structure may share types with the corresponding nodes of the other structures....
135
click to vote
ACISP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. RFID tags are tiny, inexpensive, inductively powered computers that are going to replace bar codes on many products, but which have many other uses as well. For example, ...