Sciweavers

882 search results - page 104 / 177
» Improving the Efficiency of Workflow Analysis
Sort
View
SEMCO
2009
IEEE
15 years 4 months ago
Using a Formal Language Constructs for Software Model Evolution
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
Samuel A. Ajila, Shahid Alam
ICPR
2010
IEEE
14 years 12 months ago
Shape Guided Maximally Stable Extremal Region (MSER) Tracking
Maximally Stable Extremal Regions (MSERs) are one of the most prominent interest region detectors in computer vision due to their powerful properties and low computational demands...
Michael Donoser, Hayko Riemenschneider, Horst Bisc...
BMCBI
2008
99views more  BMCBI 2008»
14 years 10 months ago
A new real-time PCR method to overcome significant quantitative inaccuracy due to slight amplification inhibition
Background: Real-time PCR analysis is a sensitive DNA quantification technique that has recently gained considerable attention in biotechnology, microbiology and molecular diagnos...
Michele Guescini, Davide Sisti, Marco B. L. Rocchi...
DAC
2005
ACM
15 years 11 months ago
Incremental exploration of the combined physical and behavioral design space
Achieving design closure is one of the biggest headaches for modern VLSI designers. This problem is exacerbated by high-level design automation tools that ignore increasingly impo...
Zhenyu (Peter) Gu, Jia Wang, Robert P. Dick, Hai Z...
USENIX
2001
14 years 11 months ago
Scalable Linux Scheduling
For most of its existence, Linux has been used primarily as a personal desktop operating system. Yet, in recent times, its use as a cost-efficient alternative to commercial operat...
Stephen Molloy, Peter Honeyman