935 search results - page 93 / 187 » A Framework for Obfuscated Interpretation |
129
Voted
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Performance tuning involves a diagnostic process to locate and explain sources of program inefficiency. A performance diagnosis system can leverage knowledge of performance cause...
116
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
132
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
116
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a novel semantic-oriented video analysis system for the basketball game videos. Based on Bayesian Belief Network (BBN), it may bridge this gap between the low-...
141
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— This paper presents an operational space control approach for the general class of holonomically constrained multibody systems. As a point of departure, the general formulation...