Sciweavers

3653 search results - page 312 / 731
» On Recognizable Timed Languages
Sort
View
FDL
2008
IEEE
16 years 1 months ago
VHDL-AMS Implementation of a Numerical Ballistic CNT Model for Logic Circuit Simulation
—This paper introduces a novel numerical carbon nanotube transistor (CNT) modelling approach which brings in a flexible and efficient cubic spline non-linear approximation of t...
Dafeng Zhou, Tom J. Kazmierski, Bashir M. Al-Hashi...
FDL
2008
IEEE
16 years 1 months ago
Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...
Jens Gladigau, Christian Haubelt, Jürgen Teic...
HICSS
2008
IEEE
103views Biometrics» more  HICSS 2008»
16 years 1 months ago
On the Inequality of Contributions to Wikipedia
—Wikipedia is one of the most successful examples of massive collaborative content development. However, many of the mechanisms and procedures that it uses are still unknown in d...
Felipe Ortega, Jesús M. González-Bar...
ICECCS
2008
IEEE
3385views Hardware» more  ICECCS 2008»
16 years 1 months ago
Contract-Based Approach to Analyze Software Components
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Bou...
KBSE
2008
IEEE
16 years 1 months ago
A Case for Automatic Exception Handling
Exception handling mechanisms have been around for more than 30 years. Nevertheless, modern exceptions systems are not very different from the early models. Programming languages ...
Bruno Cabral, Paulo Marques