Sciweavers

398 search results - page 27 / 80
» Using Benchmarking to Advance Research: A Challenge to Softw...
Sort
View
ISORC
2008
IEEE
16 years 8 days ago
A Hierarchical Resource Management Scheme Enabled by the TMO Programming Scheme
Abstract: For cost-effective realization of sizable realtime distributed computing application systems, significant advances in resource allocation are in critical needs. An advanc...
K. H. (Kane) Kim, Yuqing Li, Kee-Wook Rim, Eltefaa...
ICSE
2004
IEEE-ACM
16 years 6 months ago
Using Web Service Technologies to Create an Information Broker: An Experience Report
This paper reports on our experiences with using the emerging web service technologies and tools to create a demonstration information broker system as part of our research into i...
Mark Turner, Fujun Zhu, Ioannis A. Kotsiopoulos, M...
WAIM
2007
Springer
15 years 12 months ago
A New DBMS Architecture for DB-IR Integration
Nowadays, as there is an increasing need to integrate the DBMS (for structured data) with Information Retrieval (IR) features (for unstructured data), DB-IR integration becomes one...
Kyu-Young Whang
CGO
2009
IEEE
16 years 21 days ago
Reducing Memory Ordering Overheads in Software Transactional Memory
—Most research into high-performance software transactional memory (STM) assumes that transactions will run on a processor with a relatively strict memory model, such as Total St...
Michael F. Spear, Maged M. Michael, Michael L. Sco...
VSTTE
2005
Springer
15 years 11 months ago
It Is Time to Mechanize Programming Language Metatheory
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
Benjamin C. Pierce, Peter Sewell, Stephanie Weiric...