Sciweavers

3951 search results - page 627 / 791
» Automatic amortized analysis
Sort
View
APSEC
2005
IEEE
15 years 11 months ago
Monitoring with Behavior View Diagrams for Debugging
UML sequence diagrams are widely used during requirements analysis and design for specifying the expected message exchanges among a set of objects in various scenarios for the pro...
Donglin Liang, Kai Xu 0002
145
Voted
CEC
2005
IEEE
15 years 11 months ago
Single parent genetic programming
The most controversial part of genetic programming is its highly disruptive and potentially innovative subtree crossover operator. The clearest problem with the crossover operator...
Wendy Ashlock, Dan Ashlock
DATE
2005
IEEE
121views Hardware» more  DATE 2005»
15 years 11 months ago
C Compiler Retargeting Based on Instruction Semantics Models
Efficient architecture exploration and design of application specific instruction-set processors (ASIPs) requires retargetable software development tools, in particular C compil...
Jianjiang Ceng, Manuel Hohenauer, Rainer Leupers, ...
DSN
2005
IEEE
15 years 11 months ago
Authenticated System Calls
System call monitoring is a technique for detecting and controlling compromised applications by checking at runtime that each system call conforms to a policy that specifies the ...
Mohan Rajagopalan, Matti A. Hiltunen, Trevor Jim, ...
164
Voted
ICIP
2005
IEEE
15 years 11 months ago
HMM-based motion recognition system using segmented PCA
In this paper, we propose a novel technique for modelbased recognition of complex object motion trajectories using Hidden Markov Models (HMM). We build our models on Principal Com...
Faisal I. Bashir, Wei Qu, Ashfaq A. Khokhar, Dan S...