1547 search results - page 165 / 310 » Randomized Variable Elimination |
104
click to vote
ICFP
2005
ACM
16 years 29 days ago
2005
ACM
Recent research has shown how boilerplate code, or repetitive code for traversing datatypes, can be eliminated using generic programming techniques already available within some i...
112
click to vote
ICFP
2001
ACM
16 years 29 days ago
2001
ACM
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
114
click to vote
CC
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
97
Voted
PERCOM
2009
ACM
15 years 7 months ago
2009
ACM
Abstract—We present a lightweight lossless compression algorithm for realtime sensor networks. Our proposed Adaptive Linear Filtering Compression (ALFC) algorithm performs predic...
IWPC
2009
IEEE
15 years 7 months ago
2009
IEEE
A common static software bug detection technique is to use path simulation. Each execution path is simulated using symbolic variables to determine if any software errors could occ...