5415 search results - page 847 / 1083 » The Implementation of Functional Programming Languages |
217
click to vote
PARELEC
2000
IEEE
15 years 10 months ago
2000
IEEE
Recent advances in high-speed networks, rapid improvements in microprocessor design, and availability of highly performing clustering software implementations enables cost-effecti...
162
click to vote
FDL
2008
IEEE
16 years 1 months ago
2008
IEEE
The features of the emerging modeling languages for system design allow designers to build models of almost any kind of heterogeneous hardware-software systems, including Real Tim...
178
click to vote
ACL2
2006
ACM
16 years 18 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
165
click to vote
AINA
2005
IEEE
16 years 7 days ago
2005
IEEE
Mobile code computation has lead to a new paradigm of distributed computation. A mobile process can move from site to site and interact with the resources as a local process. To p...
161
click to vote
ICADL
2005
Springer
16 years 4 days ago
2005
Springer
Search engines of main-stream literature digital libraries such as ACM Digital Library, Google Scholar, and PubMed employ file-based systems, and provide users with a basic boolean...