4075 search results - page 215 / 815 » Modeling Distributed Algorithm Using B |
196
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
This paper considers the role of performance and area estimates from behavioral synthesis in design space exploration. We have developed a compilation system that automatically ma...
189
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Automated genotype calling in tetraploid species was until recently not possible, which hampered genetic analysis. Modern genotyping assays often produce two signals, ...
169
click to vote
SIGITE
2004
ACM
16 years 12 hour ago
2004
ACM
In this paper, we establish the need (based on literature and anecdotal evidence) for an infrastructure for CS1 courses to visually support problem solving from the initial proble...
179
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
Capturing RLCK circuit responses accurately with existing model order reduction (MOR) techniques is very expensive. Direct metrics for fast analysis of RC circuits exist but there...
208
click to vote
NEUROSCIENCE
2001
Springer
15 years 11 months ago
2001
Springer
We propose a theoretical framework for specification and analysis of a class of learning problems that arise in open-ended environments that contain multiple, distributed, dynamic...