212 search results - page 23 / 43 » Rapid Abstract Control Model for Signal Processing Implement... |
240
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
95
Voted
EWSA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...
114
click to vote
ICECCS
2008
IEEE
15 years 8 months ago
2008
IEEE
Traditionally shared data areas have been used to efficiently communicate between embedded system tasks, such as periodically executing control system tasks. Such implementations ...
125
Voted
RSP
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
110
Voted
DEXA
2005
Springer
15 years 7 months ago
2005
Springer
The rapidly growing web technologies and electronic commerce applications have stimulated the need of personalized and group decision support functionalities in eTourism intermedia...