4592 search results - page 608 / 919 » Framework for Studying Substitution |
221
click to vote
AADEBUG
2005
Springer
16 years 11 days ago
2005
Springer
Dynamic slicing algorithms have been considered to aid in debugging for many years. However, as far as we know, no detailed studies on evaluating the benefits of using dynamic sl...
187
click to vote
PODC
2004
ACM
16 years 7 days ago
2004
ACM
We propose a framework to translate certain subclasses of differential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
175
click to vote
SAC
2004
ACM
16 years 7 days ago
2004
ACM
Until recently, issues in image retrieval have been handled in DBMSs and in computer vision as separate research works. Nowadays, the trend is towards integrating the two approach...
224
click to vote
MIDDLEWARE
2004
Springer
16 years 5 days ago
2004
Springer
In recent years, the gossip-based communication model in large-scale distributed systems has become a general paradigm with important applications which include information dissemi...
177
click to vote
RTAS
2003
IEEE
16 years 3 days ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...