1835 search results - page 218 / 367 » Functional Programming of Behavior-Based Systems |
144
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: Macromolecular visualization as well as automated structural and functional annotation tools play an increasingly important role in the post-genomic era, contributing ...
150
click to vote
IEEEINTERACT
2003
IEEE
15 years 10 months ago
2003
IEEE
: The traditional framework for back-end compilation is based on the scope of functions, which is a natural boundary to partition an entire program for compilation. However, the si...
141
click to vote
RTSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
161
click to vote
MEMOCODE
2003
IEEE
15 years 10 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
164
Voted
ESOP
1999
Springer
15 years 9 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...