8766 search results - page 406 / 1754 » Functional logic programming |
144
Voted
SAFECOMP
2005
Springer
15 years 9 months ago
2005
Springer
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...
123
click to vote
ISSS
2002
IEEE
15 years 8 months ago
2002
IEEE
We have fabricated a Chip Multiprocessor prototype code-named Merlot to proof our novel speculative multithreading architecture. On Merlot, multiple threads provide wider issue wi...
137
Voted
PPDP
2007
Springer
15 years 9 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
121
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Identification of RNA homologs within genomic stretches is difficult when pairwise sequence identity is low or unalignable flanking residues are present. In both cases...
137
click to vote
AOSD
2010
ACM
15 years 10 months ago
2010
ACM
The development of complex software requires the implementation of functions over a variety of recursively defined data structures. The design (and modeling) of structures can it...