4887 search results - page 665 / 978 » System Level Design Using C |
126
click to vote
HPDC
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we introduce the Join-Elect-Leave (JEL) model, a simple yet powerful model for tracking the resources participating in an application. This model is based on the co...
123
Voted
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
155
click to vote
TABLEAUX
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
146
Voted
HT
2004
ACM
15 years 10 months ago
2004
ACM
Microcosm was an open hypertext system that evolved in the early 1990s, before the advent of the Web. Apart from its success as a research platform it was widely used for presenti...
113
click to vote
IWSOC
2003
IEEE
15 years 9 months ago
2003
IEEE
The availability of high-level design entry tooling is crucial for the viability of any reconfigurable SoC architecture. This paper presents a template generation method to extra...