Sciweavers

6719 search results - page 1244 / 1344
» A Generalization of Automatic Sequences
Sort
View
EUROSYS
2010
ACM
16 years 1 months ago
Reverse Engineering of Binary Device Drivers with RevNIC
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverâ€...
Vitaly Chipounov, George Candea
EUROSYS
2010
ACM
16 years 1 months ago
Execution Synthesis: A Technique for Automated Software Debugging
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufï¬cient information, thus forcing developers to turn int...
Cristian Zamfir, George Candea
EUROGRAPHICS
2010
Eurographics
16 years 1 months ago
Mesh Decomposition with Cross-Boundary Brushes
We present a new intuitive UI, which we call cross-boundary brushes, for interactive mesh decomposition. The user roughly draws one or more strokes across a desired cut and our sy...
Youyi Zheng and Chiew-Lan Tai
ICCD
2002
IEEE
141views Hardware» more  ICCD 2002»
16 years 1 months ago
Embedded Operating System Energy Analysis and Macro-Modeling
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signiï¬...
Tat Kee Tan, Anand Raghunathan, Niraj K. Jha
ICCAD
2007
IEEE
102views Hardware» more  ICCAD 2007»
16 years 29 days ago
Scalable exploration of functional dependency by interpolation and incremental SAT solving
Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1, …, gn}, i.e. f = h(g1, …, gn). It plays an important r...
Chih-Chun Lee, Jie-Hong Roland Jiang, Chung-Yang H...
« Prev « First page 1244 / 1344 Last » Next »