Sciweavers

1915 search results - page 78 / 383
» A language for functional interpretation of model based simu...
Sort
View
DATE
2006
IEEE
119views Hardware» more  DATE 2006»
14 years 3 months ago
Performance evaluation for system-on-chip architectures using trace-based transaction level simulation
The ever increasing complexity and heterogeneity of modern System-on-Chip (SoC) architectures make an early and systematic exploration of alternative solutions mandatory. Efficien...
Thomas Wild, Andreas Herkersdorf, Rainer Ohlendorf
JUCS
2008
168views more  JUCS 2008»
13 years 9 months ago
Online Network-on-Chip Switch Fault Detection and Diagnosis Using Functional Switch Faults
: This paper presents efficient methods for online fault detection and diagnosis of Network-on-Chip (NoC) switches. The fault model considered in this research is a system level fa...
Naghmeh Karimi, Armin Alaghi, Mahshid Sedghi, Zain...
TPHOL
2003
IEEE
14 years 2 months ago
Applications of Polytypism in Theorem Proving
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
Konrad Slind, Joe Hurd
WWW
2008
ACM
14 years 10 months ago
Unsupervised query segmentation using generative language models and wikipedia
In this paper, we propose a novel unsupervised approach to query segmentation, an important task in Web search. We use a generative query model to recover a query's underlyin...
Bin Tan, Fuchun Peng
ATAL
2006
Springer
14 years 1 months ago
SeSAm: implementation of agent-based simulation using visual programming
In this paper, we present the most important features of SeSAm, a modeling and simulation platform for multi-agent simulations. Based on a declarative, explicit model representati...
Franziska Klügl, Rainer Herrler, Manuel Fehle...