7393 search results - page 1013 / 1479 » Synthesis-for-testability using transformations |
157
Voted
SPDP
1993
IEEE
15 years 9 months ago
1993
IEEE
We consider the problem of transforming a given sequential implementation of a data structure into a wait-free concurrent implementation. Given the code for different operations ...
211
click to vote
DISCO
1993
15 years 9 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
155
click to vote
KDD
2010
ACM
15 years 9 months ago
2010
ACM
Periodicity is a frequently happening phenomenon for moving objects. Finding periodic behaviors is essential to understanding object movements. However, periodic behaviors could b...
155
Voted
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
133
click to vote
OODBS
2000
15 years 8 months ago
2000
Ever since the `early days' of database management systems, clustering has proven to be one of the most effective performance enhancement techniques for object oriented datab...