4498 search results - page 30 / 900 » How to Invent Functions |
CODES
1999
IEEE
13 years 12 months ago
1999
IEEE
o much higher levels of abstraction than today's design practices, which are usually at the level of synthesizable RTL for custom hardware or Instruction Set Simulator (ISS) f...
BMCBI
2007
13 years 7 months ago
2007
Background: The secondary structure of an RNA must be known before the relationship between its structure and function can be determined. One way to predict the secondary structur...
ENTCS
2006
13 years 7 months ago
2006
Howe's method is a well-known technique for proving that various kinds of applicative bisimilarity (or similarity) on a functional language are congruences (or precongruences...
EL
2006
13 years 7 months ago
2006
Digital libraries offer opportunities for elearning that are not possible in their physical counterparts. Digital libraries complement other learning environments, such as those p...
FTCS
1998
13 years 9 months ago
1998
Most fault-tolerant systems are designed to stop faulty programs before they write permanent data or communicate with other processes. This property (halt-on-failure) forms the co...