1835 search results - page 284 / 367 » Functional Programming of Behavior-Based Systems |
106
click to vote
JSW
2008
15 years 2 months ago
2008
Extensible Markup Language (XML) is a powerful tool used for describing structured documents and exchanging standardized data files over the Internet. This article describes how us...
120
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming problem that arises in the context of a reso...
136
click to vote
CORR
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. We investigate the evolutionary processes behind the development and optimization of multiple threads of execution in digital organisms using the avida platform, a softwa...
112
Voted
ENTCS
2000
15 years 2 months ago
2000
Behavioral rewriting di ers from standard rewriting in taking account of the weaker inference rules of behavioral logic, but it shares much with standard rewriting, including noti...
136
Voted
FAC
2000
15 years 2 months ago
2000
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...