911 search results - page 84 / 183 » Combining programs and state machines |
194
click to vote
ICSEA
2009
IEEE
15 years 3 months ago
2009
IEEE
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
120
click to vote
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we address the problem of designing very high throughput finite state machines (FSMs). The presence of loops in sequential circuits prevents a straightforward and g...
120
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
Brain machine interfaces work by mapping the relevant neural activity to the intended movement known as ‘decoding’. Here, we develop a recursive Bayesian decoder for goaldirec...
177
click to vote
SECON
2007
IEEE
15 years 11 months ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
137
click to vote
SIGSOFT
2004
ACM
15 years 11 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veri...