Sciweavers

4139 search results - page 183 / 828
» Designing and Implementing Combinator Languages
Sort
View
ISQED
2006
IEEE
155views Hardware» more  ISQED 2006»
15 years 5 months ago
FASER: Fast Analysis of Soft Error Susceptibility for Cell-Based Designs
This paper is concerned with statically analyzing the susceptibility of arbitrary combinational circuits to single event upsets that are becoming a significant concern for reliabi...
Bin Zhang, Wei-Shen Wang, Michael Orshansky
SAC
2006
ACM
15 years 5 months ago
Union types for object-oriented programming
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
Atsushi Igarashi, Hideshi Nagira
EUROCAST
2007
Springer
97views Hardware» more  EUROCAST 2007»
15 years 3 months ago
A Practical Agent-Based Approach for Pattern Layout Design
This paper explores and discusses the application of Software Agent in pattern layout design. First we introduce Pattern Decomposition Representation Model (PDM). By combining Agen...
Cunhao Fang, Song Cao
SEUS
2005
IEEE
15 years 5 months ago
A Case Study on Partial Evaluation in Embedded Software Design
Source code generators are often applied in embedded systems design to combine the flexibility necessary for reusability with the performance of highly specialized software. Howe...
Michael Jung, Ralf Laue 0002, Sorin A. Huss
IPPS
1998
IEEE
15 years 3 months ago
A Hardware/Software Co-Design System Using Configurable Computing Technology
Virtual Computer Corporation has combined the latest reconfigurable component technology with a number of advanced software tools in one easy to use `system approach' to digi...
John Schwel