542 search results - page 45 / 109 » SystemJ: A GALS language for system level design |
EMSOFT
2005
Springer
14 years 2 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
SIES
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
AAAI
1997
13 years 10 months ago
1997
We describe a parsing system based upon a language model for English that is, in turn, based upon assigning probabilities to possible parses for a sentence. This model is used in ...
VLDB
1995
ACM
14 years 10 days ago
1995
ACM
The World-Wide Web (WWW) is an ever growing, distributed, non-administered, global information resource. It resides on the worldwide computer network and allows access to heteroge...
FM
1999
Springer
14 years 1 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...