1837 search results - page 127 / 368 » Abstraction and the C Machine Model |
121
click to vote
DATE
1998
IEEE
15 years 10 months ago
1998
IEEE
A formal definition of the general VHDLAMS analogue system has been proposed to relate the way in which the language affects the specification of a non-linear discontinuous analog...
192
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
151
click to vote
IMCSIT
2010
15 years 4 months ago
2010
Abstract--We present a tool that facilitates the efficient extension of morphological lexica. The tool exploits information from a morphological lexicon, a morphological grammar an...
278
click to vote
SENSYS
2006
ACM
16 years 13 days ago
2006
ACM
From experience with wireless sensor networks it has become apparent that dynamic reprogramming of the sensor nodes is a useful feature. The resource constraints in terms of energ...
163
click to vote
ADBIS
2005
Springer
16 years 1 days ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...