Sciweavers

217 search results - page 28 / 44
» Automatic Termination
Sort
View
DSN
2007
IEEE
14 years 3 months ago
Measuring Availability in Optimistic Partition-Tolerant Systems with Data Constraints
Replicated systems that run over partitionable environments, can exhibit increased availability if isolated partitions are allowed to optimistically continue their execution indep...
Mikael Asplund, Simin Nadjm-Tehrani, Stefan Beyer,...
LOPSTR
2007
Springer
14 years 2 months ago
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
Elvira Albert, John P. Gallagher, Miguel Gó...
ICIAP
2003
ACM
14 years 8 months ago
Content-based video summarization and adaptation for ubiquitous media access
Today's mobile and wireless users access multimedia content from different types of networks and terminals. Content analysis plays a critical role in developing effective sol...
Shih-Fu Chang
GECCO
2007
Springer
167views Optimization» more  GECCO 2007»
14 years 2 months ago
Genetically designed heuristics for the bin packing problem
The bin packing problem (BPP) is a real-world problem that arises in different industrial applications related to minimization of space or time. The aim of this research is to au...
Oana Muntean
VTS
2006
IEEE
95views Hardware» more  VTS 2006»
14 years 2 months ago
Integrated CMOS Power Sensors for RF BIST Applications
This paper presents the design and experimental results of fully integrated CMOS power sensors for RF built-in self-test (BIST) applications. Using a standard 0.18- m CMOS process...
Hsieh-Hung Hsieh, Liang-Hung Lu