2233 search results - page 295 / 447 » Modular type classes |
233
click to vote
FPGA
2008
ACM
15 years 8 months ago
2008
ACM
Stochastic simulations and other scientific applications that depend on random numbers are increasingly implemented in a parallelized manner in programmable logic. High-quality ps...
145
click to vote
ACL
2008
15 years 7 months ago
2008
In this type-II demo, we introduce SIDE1 (the Summarization Integrated Development Environment), an infrastructure that facilitates construction of summaries tailored to the needs...
167
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
My work has two relationships with End User Software Engineering. First, as an Empirical Software Engineer, I am interested in meeting with people who do research into techniques ...
138
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
We examine the question of solving the extinction probability of a particular class of continuous-time multi-type branching processes, named Markovian binary trees (MBT). The exti...
162
click to vote
FMOODS
2008
15 years 7 months ago
2008
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...