3373 search results - page 241 / 675 » Linear transformations on codes |
156
click to vote
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
Large and complex systems of ordinary differential equations (ODEs) arise in diverse areas of science and engineering, and pose special challenges on a streaming processor owing to...
153
click to vote
WOSP
2005
ACM
15 years 10 months ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
143
click to vote
ISSTA
2004
ACM
15 years 9 months ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...
153
click to vote
DAC
2003
ACM
15 years 9 months ago
2003
ACM
A new methodology is presented to solve a strongly nonlinear circuit, characterized by Piece-Wise Linear (PWL) functions, symbolically and explicitly in terms of its circuit param...
148
click to vote
KDD
2002
ACM
16 years 4 months ago
2002
ACM
Data on individuals and entities are being collected widely. These data can contain information that explicitly identifies the individual (e.g., social security number). Data can ...