Sciweavers

2825 search results - page 246 / 565
» Support for Object-Oriented Testing
Sort
View
185
Voted
ICFP
2001
ACM
16 years 4 months ago
Functioning without Closure: Type-Safe Customized Function Representations for Standard ML
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
Allyn Dimock, Ian Westmacott, Robert Muller, Frank...
IJCNN
2006
IEEE
15 years 10 months ago
Non-Relevance Feedback Document Retrieval based on One Class SVM and SVDD
— This paper reports a new document retrieval method using non-relevant documents. Especially, this paper reports a comparison of retrieval efficiency between One Class Support ...
Takashi Onoda, Hiroshi Murata, Seiji Yamada
128
Voted
ISCA
2009
IEEE
137views Hardware» more  ISCA 2009»
15 years 11 months ago
A case for an interleaving constrained shared-memory multi-processor
Shared-memory multi-threaded programming is inherently more difficult than single-threaded programming. The main source of complexity is that, the threads of an application can in...
Jie Yu, Satish Narayanasamy
MEDIAFORENSICS
2010
15 years 6 months ago
Detecting content adaptive scaling of images for forensic applications
Content-aware resizing methods have recently been developed, among which, seam-carving has achieved the most widespread use. Seam-carving's versatility enables deliberate obj...
Claude Fillion, Gaurav Sharma
MICRO
2010
IEEE
170views Hardware» more  MICRO 2010»
15 years 2 months ago
Tolerating Concurrency Bugs Using Transactions as Lifeguards
Abstract--Parallel programming is hard, because it is impractical to test all possible thread interleavings. One promising approach to improve a multi-threaded program's relia...
Jie Yu, Satish Narayanasamy