48 search results - page 5 / 10 » High Level Specification of I O in Functional Languages |
SIGOPS
2010
14 years 5 months ago
2010
We introduce SelfTalk, a novel declarative language that allows users to query and understand the status of a large scale system. SelfTalk is sufficiently expressive to encode an ...
86
Voted
APCSAC
2006
IEEE
15 years 4 months ago
2006
IEEE
In the ubiquitous era, it is necessary to research the architectures of multiprocessor system with high performance and low power consumption. A simulator developed in high level l...
86
Voted
TBILLC
2005
Springer
15 years 3 months ago
2005
Springer
Structuring of information proceeds through the foregrounding of certain parts of the information. In general, foregrounding can be realized on various linguistic levels and it is...
77
Voted
COMCOM
2000
14 years 10 months ago
2000
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
96
Voted
BMCBI
2010
14 years 10 months ago
2010
Background: MicroRNAs (miRNAs) are single-stranded non-coding RNAs known to regulate a wide range of cellular processes by silencing the gene expression at the protein and/or mRNA...