36320 search results - page 650 / 7264 » From Code to Models |
185
click to vote
APN
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
243
click to vote
CC
2008
Springer
15 years 9 months ago
2008
Springer
JIT compilation is a model of execution which translates at run time critical parts of the program to a low level representation. Typically a JIT compiler produces machine code fro...
177
click to vote
JVCIR
2006
15 years 7 months ago
2006
A fast inter-prediction mode decision and motion search algorithm is proposed for the H.264 video coding standard. The multi-resolution motion estimation scheme and an adaptive ra...
217
click to vote
ENTCS
2007
15 years 7 months ago
2007
Software evolution research is limited by the amount of information available to researchers: Current version control tools do not store all the information generated by developer...
228
click to vote
RAID
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. An epidemic is malicious code running on a subset of a community, a homogeneous set of instances of an application. Syzygy is an epidemic detection framework that looks f...