3879 search results - page 682 / 776 » PyPBS design and methodologies |
113
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Central to the problem frames approach is the distinction of three different descriptions: requirements R, domain assumptions W and specifications S, tied together with the socall...
131
Voted
MOBIHOC
2008
ACM
16 years 4 months ago
2008
ACM
In this paper we seek to improve our understanding of human mobility in terms of social structures, and to use these structures in the design of forwarding algorithms for Pocket S...
157
click to vote
ICCD
2008
IEEE
16 years 1 months ago
2008
IEEE
—One of the major design verification challenges in the development of Anton, a massively parallel special-purpose machine for molecular dynamics, was to provide evidence that co...
135
Voted
ICCD
2004
IEEE
16 years 1 months ago
2004
IEEE
— We propose an automatic test pattern generation (ATPG) framework for combinational threshold networks. The motivation behind this work lies in the fact that many emerging nanot...
130
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
— With process variation becoming a growing concern in deep submicron technologies, the ability to efficiently obtain an accurate estimate of failure probability of SRAM compone...