6274 search results - page 579 / 1255 » Proofs, Programs, Processes |
251
click to vote
I3E
2009
15 years 5 months ago
2009
Use of web services also on mobile devices becomes increasingly relevant. However, realizing such mobile web services based on the standard protocol stack is often inappropriate f...
205
Voted
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
The notion of the 1-D analytic signal is well understood and has found many applications. At the heart of the analytic signal concept is the Hilbert transform. The problem in exte...
187
click to vote
SIGSOFT
2004
ACM
16 years 8 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
200
click to vote
ICFP
2001
ACM
16 years 7 months ago
2001
ACM
Lula is a system for computer-assisted stage lighting design and control. Whereas other systems for the same purpose are usually the results of long chains of incremental improvem...
215
click to vote
GPCE
2007
Springer
16 years 1 months ago
2007
Springer
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...