4139 search results - page 462 / 828 » Designing and Implementing Combinator Languages |
210
click to vote
IEE
2007
15 years 7 months ago
2007
— This paper presents an environment targeted at computer games development industrialization in the .NET Platform. A computer game product line definition and its architecture a...
213
click to vote
DAC
2002
ACM
16 years 8 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
165
click to vote
WWW
2003
ACM
16 years 8 months ago
2003
ACM
Web services allow authorized entities (including individuals, corporations, and automated agents) to employ software components created by other parties scattered across the glob...
249
click to vote
MEMOCODE
2008
IEEE
16 years 2 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
209
Voted
CODES
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we present a methodology for designing a pipeline of accelerators for an application. The application is modeled using sequential C language with simple stylization...