Sciweavers

608 search results - page 110 / 122
» Modeling Building-Block Interdependency
Sort
View
DATE
2000
IEEE
88views Hardware» more  DATE 2000»
14 years 3 days ago
Techniques for Reducing Read Latency of Core Bus Wrappers
Today’s system-on-a-chip designs consist of many cores. To enable cores to be easily integrated into different systems, many propose creating cores with their internal logic sep...
Roman L. Lysecky, Frank Vahid, Tony Givargis
ESOP
1999
Springer
13 years 12 months ago
An Idealized MetaML: Simpler, and More Expressive
MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme....
Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaiss...
ACSAC
2004
IEEE
13 years 11 months ago
Reasoning About Complementary Intrusion Evidence
This paper presents techniques to integrate and reason about complementary intrusion evidence such as alerts generated by intrusion detection systems (IDSs) and reports by system ...
Yan Zhai, Peng Ning, Purush Iyer, Douglas S. Reeve...
FGR
2004
IEEE
105views Biometrics» more  FGR 2004»
13 years 11 months ago
Particle Filtering with Factorized Likelihoods for Tracking Facial Features
In the recent years particle filtering has been the dominant paradigm for tracking facial and body features, recognizing temporal events and reasoning in uncertainty. A major prob...
Ioannis Patras, Maja Pantic
DAGSTUHL
2007
13 years 9 months ago
On the Cost of Shifting Event Processing within Wireless Environments
With the emergence of wireless sensor networks, the issues of event recognition and processing have been partially shifted into the embedded domain. New processing capabilities on...
Kirsten Terfloth, Katharina Hahn, Agnès Voi...