Sciweavers

2068 search results - page 352 / 414
» On Effectiveness of Application-Layer Coding
Sort
View
ECCV
2008
Springer
16 years 6 months ago
Compressive Structured Light for Recovering Inhomogeneous Participating Media
We propose a new method named compressive structured light for recovering inhomogeneous participating media. Whereas conventional structured light methods emit coded light patterns...
Jinwei Gu, Shree K. Nayar, Eitan Grinspun, Peter N...
134
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
Extended exceptions for contingencies and their implications for the engineering process
We observed a general problem of sequential programs, which often results in design and programming errors in industrial software engineering projects, and propose a solution appr...
Thorsten van Ellen, Wilhelm Hasselbring
165
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
Finding bugs efficiently with a SAT solver
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
Julian Dolby, Mandana Vaziri, Frank Tip
SIGSOFT
2005
ACM
16 years 4 months ago
Matching execution histories of program versions
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
Xiangyu Zhang, Rajiv Gupta
VLSID
2003
IEEE
147views VLSI» more  VLSID 2003»
16 years 4 months ago
SoC Synthesis with Automatic Hardware Software Interface Generation
Design of efficient System-on-Chips (SoCs) require thorough application analysis to identify various compute intensive parts. These compute intensive parts can be mapped to hardwa...
Amarjeet Singh 0002, Amit Chhabra, Anup Gangwar, B...