12333 search results - page 644 / 2467 » System Level Modelling for Hardware Software Systems |
174
click to vote
ISARCS
2010
15 years 9 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
179
click to vote
CACM
2010
15 years 7 months ago
2010
Every operating system embodies a collection of design decisions. Many of the decisions behind systems have remained unchanged, even as hardware and software have evolved. Operati...
210
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
230
click to vote
COMPCON
1996
IEEE
15 years 11 months ago
1996
IEEE
A broadband mediaprocessor is a general-purpose computer system which reaches the goal of communicating and processing at broadband rates using compiled software rather than speci...
171
click to vote
DATE
2005
IEEE
16 years 25 days ago
2005
IEEE
The aim of this work is to study the implementation feasibility of a VLS (Virtual Lambda Sensor) by a TSK (Takagi, Sugeno, Kang) singleton FIS (Fuzzy Inference System). Such a sen...