1837 search results - page 311 / 368 » Abstraction and the C Machine Model |
ISSS
2002
IEEE
14 years 17 days ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
GMP
2010
IEEE
14 years 15 days ago
2010
IEEE
Abstract. Semi-algebraic sets occur naturally when dealing with implicit models and boolean operations between them. In this work we present an algorithm to efficiently and in a ce...
HAID
2009
Springer
14 years 8 days ago
2009
Springer
Abstract. Haptic data visualization is a growing research area. It conveys information using the sense of touch which can help visually impaired people or be useful when other moda...
FM
2001
Springer
14 years 4 days ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
ICCD
1997
IEEE
13 years 12 months ago
1997
IEEE
Abstract— In this paper we consider the problem of clustering sequential circuits subject to a bound on the area of each cluster, with the objective of minimizing the clock perio...