Sciweavers

7340 search results - page 415 / 1468
» The Behavior of Tutoring Systems
Sort
View
174
Voted
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
16 years 2 days ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler
ICCS
2003
Springer
16 years 20 hour ago
Performance Instrumentation and Measurement for Terascale Systems
As computer systems grow in size and complexity, tool support is needed to facilitate the efficient mapping of large-scale applications onto these systems. To help achieve this ma...
Jack Dongarra, Allen D. Malony, Shirley Moore, Phi...
WACV
2002
IEEE
15 years 11 months ago
Multimodal Human-Computer Interaction for Crisis Management Systems
This paper presents a multimodal crisis management system (XISM). It employs processing of natural gesture and speech commands elicited by a user to efficiently manage complex dyn...
Nils Krahnstoever, Emilio Schapira, Sanshzar Kette...
WORDS
2002
IEEE
15 years 11 months ago
Auction System Design Using Open Multithreaded Transactions
Open Multithreaded Transactions form an advanced transaction model that provides features for controlling and structuring not only accesses to objects, as usual in transaction sys...
Jörg Kienzle, Alfred Strohmeier, Alexander B....
CDC
2009
IEEE
132views Control Systems» more  CDC 2009»
15 years 11 months ago
A mechanism design approach to the stabilization of networked dynamical systems
— In this paper we study the problem of stabilizing a networked control system (NCS) composed of N linear dynamical subplants and an equal number of controllers acting over a sha...
Luca Galbusera, Nicola Gatti, Carlo Romani