4139 search results - page 396 / 828 » Designing and Implementing Combinator Languages |
194
click to vote
DAC
2006
ACM
16 years 1 months ago
2006
ACM
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
199
click to vote
WOSP
2000
ACM
15 years 12 months ago
2000
ACM
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. Its array of notations helps system designers to capture their ideas ...
232
click to vote
HEURISTICS
2008
15 years 6 months ago
2008
Since their beginning in constraint programming, set solvers have been applied to a wide range of combinatorial search problems, such as bin-packing, set partitioning, circuit desi...
231
click to vote
MEMOCODE
2003
IEEE
16 years 24 days ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
215
click to vote
VLSID
2003
IEEE
16 years 8 months ago
2003
IEEE
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...