2918 search results - page 225 / 584 » Design tools for reliability analysis |
159
click to vote
PLDI
2006
ACM
15 years 11 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
152
Voted
EUROSYS
2007
ACM
15 years 8 months ago
2007
ACM
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
143
click to vote
HASE
2008
IEEE
15 years 11 months ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
134
click to vote
ERLANG
2004
ACM
15 years 10 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
130
click to vote
ISQED
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper, we describe a comprehensive layout methodology for bonded three-dimensional integrated circuits (3D ICs). In bonded 3D integration technology, parts of a circuit ar...