Sciweavers

2613 search results - page 489 / 523
» Proposal for Tools Supporting Component Based Programming
Sort
View
CIKM
2011
Springer
14 years 2 months ago
S3K: seeking statement-supporting top-K witnesses
Traditional information retrieval techniques based on keyword search help to identify a ranked set of relevant documents, which often contains many documents in the top ranks that...
Steffen Metzger, Shady Elbassuoni, Katja Hose, Ral...
DAC
2005
ACM
16 years 3 months ago
Improving java virtual machine reliability for memory-constrained embedded systems
Dual-execution/checkpointing based transient error tolerance techniques have been widely used in the high-end mission critical systems. These techniques, however, are not very att...
Guangyu Chen, Mahmut T. Kandemir
CADE
2003
Springer
16 years 2 months ago
Foundational Certified Code in a Metalogical Framework
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the s...
Karl Crary, Susmit Sarkar
ICASSP
2009
IEEE
15 years 9 months ago
Acoustic fall detection using Gaussian mixture models and GMM supervectors
We present a system that detects human falls in the home environment, distinguishing them from competing noise, by using only the audio signal from a single far-field microphone....
Xiaodan Zhuang, Jing Huang, Gerasimos Potamianos, ...
IFIP
2007
Springer
15 years 8 months ago
Global Supply Chain Control
The operation of global manufacturing network is challenging due to the complexity in product and information flow, diversity in sites, localization and processes and the informati...
Heidi C. Dreyer, Ottar Bakås, Erlend Alfnes,...