6960 search results - page 85 / 1392 » Continuity Analysis of Programs |
104
click to vote
CODES
2009
IEEE
15 years 9 months ago
2009
IEEE
– There has been a recent shift in design paradigms, with many turning towards yield-driven approaches to synthesize and design systems. A major cause of this shift is the contin...
132
click to vote
ICLP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In this paper we show how we can use size and groundness analyses lifted to regular and (polymorphic) Hindley/Milner typed programs to determine more accurate termination...
133
click to vote
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...
124
click to vote
LCTRTS
2010
Springer
15 years 7 months ago
2010
Springer
Continuous technology scaling has brought us to a point, where transistors have become extremely susceptible to cosmic radiation strikes, or soft errors. Inside the processor, cac...
149
click to vote
BMCBI
2005
2005
Phylogenetic reconstruction of ancestral character states for gene expression and mRNA splicing data
15 years 2 months ago
Background: As genomes evolve after speciation, gene content, coding sequence, gene expression, and splicing all diverge with time from ancestors with close relatives. A minimum e...