1140 search results - page 156 / 228 » Generating compilers for generated datapaths |
191
click to vote
PEPM
2011
ACM
14 years 6 months ago
2011
ACM
The performance of many dynamic language implementations suffers from high allocation rates and runtime type checks. This makes dynamic languages less applicable to purely algorit...
227
click to vote
FROCOS
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
151
Voted
PADL
2012
Springer
13 years 10 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
125
click to vote
FUZZIEEE
2007
IEEE
15 years 9 months ago
2007
IEEE
— This article presents a self-fuzzification method to enhance the settings of a Fuzzy Reasoning Classification adapted to the automated inspection of wooden boards. The supervis...
147
click to vote
WETICE
2005
IEEE
15 years 8 months ago
2005
IEEE
— The execution of data intensive grid applications still raises several questions regarding job scheduling, data migration and replication. The optimization techniques applied b...