1768 search results - page 268 / 354 » A Logic for Algebraic Effects |
142
click to vote
IJACTAICIT
2010
15 years 3 months ago
2010
In this paper, we propose SiLo, a novel energy efficient shifted logging storage architecture, for write-oriented workloads. By organizing free storage space of redundant mirrored...
162
Voted
AI
2010
Springer
15 years 1 months ago
2010
Springer
Annotation Enrichment Analysis (AEA) is a widely used analytical approach to process data generated by high-throughput genomic and proteomic experiments such as gene expression mic...
155
click to vote
CMSB
2010
Springer
15 years 1 months ago
2010
Springer
To incorporate instant effects and different timescales within a single biological system, an extension of discrete regulatory networks with short-term stimuli is proposed. By mai...
183
click to vote
PADS
2003
ACM
15 years 11 months ago
2003
ACM
Wireless networks’ models differ from wired ones at least in the innovative dynamic effects of host-mobility and open-broadcast nature of the wireless medium. Topology changes d...
200
Voted
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...