3192 search results - page 135 / 639 » A Requirements-Driven Development Methodology |
127
click to vote
ASPDAC
2009
ACM
15 years 2 months ago
2009
ACM
We have developed a new 3-dimensional stacking technology using wafer-to-wafer stacked method and evaluated the connectivity between TSV and micro-bump. The prototype 3-layer stac...
124
Voted
EMNLP
2009
15 years 2 months ago
2009
This paper presents a supervised method for resolving metonymies. We enhance a commonly used feature set with features extracted based on collocation information from corpora, gen...
175
click to vote
FM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
143
click to vote
IACR
2011
14 years 4 months ago
2011
We develop a new methodology to assess cryptographic key strength using cloud computing, by calculating the true economic cost of (symmetric- or private-) key retrieval for the mos...
167
click to vote
PPOPP
2012
ACM
14 years 18 days ago
2012
ACM
The linked-list data structure is fundamental and ubiquitous. Lockfree versions of the linked-list are well known. However, the existence of a practical wait-free linked-list has ...