5630 search results - page 48 / 1126 » Computability in Specification |
132
click to vote
ICECCS
2009
IEEE
15 years 10 days ago
2009
IEEE
In hard real-time systems such as avionics, computer board level designs are typically customized to meet specific reliability and real time requirements. This paper focuses on co...
116
Voted
BMAS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper discusses aBlox - a specification notation that we defined for automated synthesis of mixed-signal systems. aBlox addresses two important aspects of mixed-signal system...
221
click to vote
Book
"An ASIC (pronounced “a-sick”; bold typeface defines a new term) is an application-specific integrated circuit —at least that is what the acronym stands for. Before we a...
109
Voted
PERCOM
2006
ACM
16 years 2 months ago
2006
ACM
This paper proposes a distributed platform designed to support pervasive learning and interactivity on a university campus and to ease tasks related to learning and teaching. The ...
135
Voted
ECBS
1999
IEEE
15 years 7 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...