1312 search results - page 210 / 263 » Embedded contract languages |
168
click to vote
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
116
click to vote
SCP
2010
15 years 1 months ago
2010
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...
136
click to vote
APLAS
2010
ACM
15 years 1 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
102
click to vote
IFIP
2010
Springer
15 years 18 days ago
2010
Springer
. Organizations are increasingly turning to large, enterprise-wide software systems as potential solutions to managing complex business-to-business (B2B) relationships. These syste...
150
Voted
DASIP
2010
14 years 10 months ago
2010
This paper proposes an automatic design flow from userfriendly design to efficient implementation of video processing systems. This design flow starts with the use of coarsegrain ...