1312 search results - page 201 / 263 » Embedded contract languages |
145
Voted
HASKELL
2006
ACM
15 years 9 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
140
click to vote
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
Embedded system designs and simulations become tedious and time consuming due to the complexity of modern applications. Thus, languages allowing high level description, such as Sy...
159
Voted
ICECCS
2005
IEEE
15 years 9 months ago
2005
IEEE
The JavaScript language is used to enhance the clientside display of web pages. JavaScript code is downloaded into browsers and executed on-the-fly by an embedded interpreter. Br...
116
click to vote
IWIA
2005
IEEE
15 years 9 months ago
2005
IEEE
Stellar aggregates and correlates alerts from heterogeneous network defense systems, building scenarios and estimating the security risk of the entire scenario. Prior work conside...
132
click to vote
RSP
2005
IEEE
15 years 9 months ago
2005
IEEE
Nowadays, Architecture Description Languages (ADLs) are getting popular to speed up the development of complex SoC design, by performing the design space explon a higher level of ...