9595 search results - page 142 / 1919 » Functional programming in C |
142
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulationbased verification techniques remove the concurrency informat...
111
Voted
WOTUG
2008
15 years 6 months ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...
190
click to vote
POPL
1989
ACM
15 years 9 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
130
click to vote
ESTIMEDIA
2004
Springer
15 years 10 months ago
2004
Springer
— Workload design is a well recognized problem in the domain of microprocessor design. Different program characteristics that influence the selection of a representative workloa...
128
click to vote
ISVLSI
2007
IEEE
15 years 11 months ago
2007
IEEE
The new design challenges imposed by the increasing difficulties of today’s electronic systems obligated designers to develop new methodologies. System-level design and Platfor...