3736 search results - page 56 / 748 » Hand-Writing Program Generator Generators |
CF
2009
ACM
15 years 6 months ago
2009
ACM
SIMT (Single-Instruction Multiple-Thread) is an emerging programming paradigm for high-performance computational accelerators, pioneered in current and next generation GPUs and hy...
ACRI
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents a research in the context of pedestrian dynamics according to Situated Cellular Agent (SCA), a Multi-Agent Systems approach whose roots are on Cellular Automata...
KBSE
2006
IEEE
15 years 5 months ago
2006
IEEE
Maintenance is recognised as the most difficult and expansive activity of the software development process. Numerous techniques and processes have been proposed to ease the mainte...
ICALP
2005
Springer
15 years 5 months ago
2005
Springer
Trevisan has shown that constructions of pseudo-random generators from hard functions (the Nisan-Wigderson approach) also produce extractors. We show that constructions of pseudo-r...
102
click to vote
SAS
2005
Springer
15 years 5 months ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...