3130 search results - page 78 / 626 » Design Correctness of Digital Systems |
127
Voted
ERCIMDL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The increase in the amount of data available in digital libraries calls for the development of search engines that allow the users to find quickly and effectively what ...
158
Voted
FDL
2007
IEEE
15 years 9 months ago
2007
IEEE
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
136
Voted
CMMR
2007
Springer
15 years 9 months ago
2007
Springer
This paper describes the design and implementation of a framework designed to aid collaborative development of a digital musical instrument mapping layer1 . The goal was to create ...
125
Voted
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
172
click to vote
HYBRID
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...