Sciweavers

58 search results - page 5 / 12
» A Compacting Real-Time Memory Management System
Sort
View
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
16 years 5 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
140
Voted
RTDB
1996
131views more  RTDB 1996»
15 years 6 months ago
Value-cognizant Admission Control Strategies for Real-Time DBMS
We propose and evaluate an admission control paradigm for RTDBS, in which a transaction is submitted to the system as a pair of processes: a primary task, and a recovery block. Th...
Azer Bestavros, Sue Nagy
HICSS
2006
IEEE
149views Biometrics» more  HICSS 2006»
15 years 11 months ago
An Efficient Heuristic Search for Real-Time Frequent Pattern Mining
Real-time frequent pattern mining for business intelligence systems are currently in the focal area of research. In a number of areas of doing business, especially in the arena of...
Rajanish Dass, Ambuj Mahanti
HICSS
2005
IEEE
164views Biometrics» more  HICSS 2005»
15 years 10 months ago
An Efficient Technique for Frequent Pattern Mining in Real-Time Business Applications
Association rule mining in real-time is of increasing thrust in many business applications. Applications such as e-commerce, recommender systems, supply-chain management and group...
Rajanish Dass, Ambuj Mahanti
ASPLOS
2008
ACM
15 years 7 months ago
The mapping collector: virtual memory support for generational, parallel, and concurrent compaction
Parallel and concurrent garbage collectors are increasingly employed by managed runtime environments (MREs) to maintain scalability, as multi-core architectures and multi-threaded...
Michal Wegiel, Chandra Krintz