7393 search results - page 1427 / 1479 » Synthesis-for-testability using transformations |
134
Voted
ISBI
2008
IEEE
16 years 3 months ago
2008
IEEE
We propose a system for identification of germ layer components in teratomas derived from human and nonhuman primate embryonic stem cells. Tissue regeneration and repair, drug tes...
128
Voted
WWW
2008
ACM
16 years 3 months ago
2008
ACM
Because of the high volume and unpredictable arrival rate, stream processing systems may not always be able to keep up with the input data streams-- resulting in buffer overflow a...
117
Voted
WWW
2007
ACM
16 years 3 months ago
2007
ACM
This paper is concerned with rank aggregation, the task of combining the ranking results of individual rankers at meta-search. Previously, rank aggregation was performed mainly by...
229
Voted
PLDI
2009
ACM
16 years 3 months ago
2009
ACM
The serious bugs and security vulnerabilities facilitated by C/C++'s lack of bounds checking are well known, yet C and C++ remain in widespread use. Unfortunately, C's a...
217
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
A bidirectional transformation consists of a function get that takes a source (document or value) to a view and a function put that takes an updated view and the original source b...