2251 search results - page 21 / 451 » Specification and Implementation Problems for C |
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—We present a transactional datapath specification (Tspec) and the tool (T-piper) to synthesize automatically an inpelined implementation from it. T-spec abstractly views...
APIN
2007
15 years 2 months ago
2007
In this paper a modelling approach to the dynamics within a multi-agent organisation is presented. A declarative, executable specification language for dynamics within an organisat...
95
Voted
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
105
Voted
ECBS
2000
IEEE
15 years 6 months ago
2000
IEEE
Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully imple...
246
Voted
Book
C code implementation of several math algorithms such as Linear Algebraic Equations,
Interpolation and Extrapolation, Integration of Functions, Evaluation of Functions, Random Num...