4151 search results - page 300 / 831 » Language Driven System Design |
165
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
HMF is a conservative extension of Hindley-Milner type inference with first-class polymorphism. In contrast to other proposals, HML uses regular System F types and has a simple ty...
179
click to vote
CHI
2005
ACM
15 years 8 months ago
2005
ACM
Many design models and representations have been proposed to support user-centered system design, such as scenarios, use cases, and prototypes. With these artifacts, designers typ...
169
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
Individual functional requirements represent fragments of behavior, while a design that satisfies a set of functional requirements represents integrated behavior. This perspective ...
219
click to vote
DASIP
2010
15 years 1 months ago
2010
Nowadays, the design flow of complex signal processing embedded systems starts with a specification of the application by means of a large and sequential program (usually in C/C++...
164
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
—Huge new design challenges for system-on-chip (SoC) are the result of decreasing time-to-market coupled with rapidly increasing gate counts and embedded software representing 50...