506 search results - page 13 / 102 » A Coordination Language for Programming Embedded Multi-Core ... |
MODELS
2010
Springer
13 years 5 months ago
2010
Springer
This paper describes a novel approach to embedded software development. Instead of using a combination of C code and modeling tools, we propose an approach where modeling and progr...
IFL
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
KBSE
2000
IEEE
13 years 11 months ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
IFIP
2009
Springer
13 years 5 months ago
2009
Springer
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems
Lab
We are interested in studying and developing programming languages techniques such as multi-stage programming, reactive programming, and indexed types and in showing how they can b...