3736 search results - page 580 / 748 » Generative Programming |
182
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
—In the environments where heterogeneous devices need to share information, utilize services of each other, and participate as components in various smart applications, it is com...
252
click to vote
ACMIDC
2010
15 years 4 months ago
2010
Children with autism often experience substantial challenges in understanding, structuring, and predicting the activities in their daily lives. The use of symbols to represent a s...
193
click to vote
EUROMICRO
2007
IEEE
16 years 1 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
136
click to vote
ISCAS
2006
IEEE
16 years 27 days ago
2006
IEEE
A low-power output feedback controlled frequency synthesizer. Our proposed circuit can be used for low-power multiplier is proposed for Delay Locked Loop (DLL) based application an...
164
click to vote
LICS
2005
IEEE
16 years 14 days ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...