1835 search results - page 296 / 367 » Functional Programming of Behavior-Based Systems |
137
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
136
click to vote
NCA
2007
IEEE
15 years 11 months ago
2007
IEEE
Although database replication has been a standard feature in database management systems for a long time, third party solutions have been enjoying an increasing popularity. These ...
112
Voted
CC
2007
Springer
15 years 10 months ago
2007
Springer
To achieve high resource utilization for multi-issue Digital Signal Processors (DSPs), production compilers commonly include variants of the iterative modulo scheduling algorithm. ...
119
click to vote
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
We present an online algorithm for planning sequences of footstep locations that encode goal-directed navigation strategies for humanoid robots. Planning footsteps is more general...
130
Voted
DAC
2005
ACM
15 years 6 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...