1261 search results - page 231 / 253 » Extending the Capabilities of Component Models for Embedded ... |
153
click to vote
CL
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
153
click to vote
DAC
2002
ACM
16 years 6 months ago
2002
ACM
This paper presents a high-level component-based methodology and design environment for application-specific multicore SoC architectures. Component-based design provides primitive...
188
click to vote
SENSYS
2009
ACM
16 years 22 days ago
2009
ACM
The programming and retasking of sensor nodes could benefit greatly from the use of a virtual machine (VM) since byte code is compact, can be loaded on demand, and interpreted on...
159
click to vote
ICFEM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
193
click to vote
SIGIR
2012
ACM
13 years 8 months ago
2012
ACM
Exploratory search, in which a user investigates complex concepts, is cumbersome with today’s search engines. We present a new exploratory search approach that generates interac...