1729 search results - page 22 / 346 » Deterministic Expressions in C |
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
—We present a deterministic channel model which captures several key features of multiuser wireless communication. We consider a model for a wireless network with nodes connected...
111
click to vote
KDD
2007
ACM
16 years 4 days ago
2007
ACM
Summarization is an important task in data mining. A major challenge over the past years has been the efficient construction of fixed-space synopses that provide a deterministic q...
104
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: A gene-regulatory network (GRN) refers to DNA segments that interact through their RNA and protein products and thereby govern the rates at which genes are transcribed...
CAV
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we propose a complete chain for synthesizing controllers from high-level specifications. From real-time properties expressed in the logic MTL we generate, under boun...