899 search results - page 93 / 180 » A Temporal Language for SystemC |
129
Voted
SCP
2010
14 years 12 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
114
click to vote
KBSE
1999
IEEE
15 years 5 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
124
click to vote
WAPCV
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Most cognitive studies of language acquisition in both natural systems and artificial systems have focused on the role of purely linguistic information as the central co...
125
click to vote
AOSD
2009
ACM
15 years 8 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
112
click to vote
ICDE
2006
IEEE
15 years 7 months ago
2006
IEEE
The growing sophistication and diversity of malicious activity in the Internet presents a serious challenge for network security analysts. In this paper, we describe our efforts t...