1557 search results - page 154 / 312 » Programming up to Congruence |
IFL
1997
Springer
15 years 3 months ago
1997
Springer
Functional programs, by nature, operate on functional, or persistent, data structures. Therefore, persistent graphs are a prerequisite to express functional graph algorithms. In th...
110
click to vote
AGTIVE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Since the systematic evolution of graph-like program models has become important in software engineering, graph transformation has gained much attention in this area. For...
ICCAD
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper solves the variation-aware on-chip decoupling capacitance (decap) budgeting problem. Unlike previous work assuming the worst-case current load, we develop a novel stocha...
106
click to vote
AGILEDC
2004
IEEE
15 years 3 months ago
2004
IEEE
Strong unit testing is the foundation of agile software development but embedded systems present special problems. Test of embedded software is bound up with test of hardware, cro...
AHS
2006
IEEE
15 years 3 months ago
2006
IEEE
A new hardware developmental model that shows strong robust transient fault-tolerant abilities and is motivated by embryonic development and a honeycomb structure is presented. Ca...