4917 search results - page 881 / 984 » Software Engineering is Not Computer Science |
163
click to vote
ASE
2011
14 years 8 months ago
2011
Abstract To improve software quality, static or dynamic defect-detection tools accept programming rules as input and detect their violations in software as defects. As these progra...
135
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
Reliable person recognition is an important problem in diverse businesses. Biometrics, recognition based on distinctive personal traits, has the potential to become an irreplaceab...
164
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
152
click to vote
SOSP
2005
ACM
16 years 1 months ago
2005
ACM
Overlay networks are used today in a variety of distributed systems ranging from file-sharing and storage systems to communication infrastructures. However, designing, building a...
140
click to vote
HYBRID
2010
Springer
15 years 11 months ago
2010
Springer
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...