Sciweavers

2664 search results - page 190 / 533
» Theory of processes
Sort
View
ISCA
2010
IEEE
413views Hardware» more  ISCA 2010»
15 years 11 months ago
Resistive computation: avoiding the power wall with low-leakage, STT-MRAM based computing
As CMOS scales beyond the 45nm technology node, leakage concerns are starting to limit microprocessor performance growth. To keep dynamic power constant across process generations...
Xiaochen Guo, Engin Ipek, Tolga Soyata
UML
2001
Springer
15 years 10 months ago
Representing Embedded System Sequence Diagrams as a Formal Language
Sequence Diagrams (SDs) have proven useful for describing transaction-oriented systems, and can form a basis for creating statecharts. However, distributed embedded systems require...
Elizabeth Latronico, Philip Koopman
AH
2004
Springer
15 years 11 months ago
Swarm-Based Adaptation: Wayfinding Support for Lifelong Learners
This article introduces an approach to adaptive wayfinding support for lifelong learners based on self-organisation theory. It describes an architecture which supports the recordin...
Colin Tattersall, Bert van den Berg, René v...
IEAAIE
2000
Springer
15 years 9 months ago
Modeling of, and Reasoning with Recurrent Events with Imprecise Durations
In this paper we study how the framework of Petri nets can be extended and applied to study recurrent events. We use possibility theory to realistically model temporal properties o...
Stanislav Kurkovsky, Rasiah Loganantharaj
ACL
2008
15 years 7 months ago
Surprising Parser Actions and Reading Difficulty
An incremental dependency parser's probability model is entered as a predictor in a linear mixed-effects model of German readers' eye-fixation durations. This dependency...
Marisa Ferrara Boston, John T. Hale, Reinhold Klie...