Sciweavers

3706 search results - page 192 / 742
» KtSeqC: System Description
Sort
View
FDL
2005
IEEE
16 years 7 days ago
Meta Modelling of Embedded Systems using Active Databases
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
Dieter Monjau, Mathias Sporer
ISLPED
2005
ACM
147views Hardware» more  ISLPED 2005»
16 years 5 days ago
System level power and performance modeling of GALS point-to-point communication interfaces
Due to difficulties in distributing a single global clock signal over increasingly large chip areas, a globally asynchronous, locally synchronous design is considered a promising ...
Koushik Niyogi, Diana Marculescu
FATES
2005
Springer
16 years 4 days ago
Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
Gaoyan Xie, Zhe Dang
CIA
2004
Springer
16 years 10 hour ago
Society-Centered Design for Socially Embedded Multiagent Systems
To realize large-scale socially embedded multiagent systems, this paper proposes a new system design methodology towards society-centered design. We have already developed the scen...
Toru Ishida
ITS
2004
Springer
119views Multimedia» more  ITS 2004»
15 years 12 months ago
The Social Role of Technical Personnel in the Deployment of Intelligent Tutoring Systems
Most of the prior descriptions of the important relationships in Intelligent Tutoring System (ITS) projects have focused on the relationships involved in their use in classrooms, ...
Ryan Shaun Baker, Angela Z. Wagner, Albert T. Corb...