Sciweavers

6941 search results - page 453 / 1389
» Testing as a Certification Approach
Sort
View
FPGA
2006
ACM
131views FPGA» more  FPGA 2006»
15 years 10 months ago
Yield enhancements of design-specific FPGAs
The high unit cost of FPGA devices often deters their use beyond the prototyping stage. Efforts have been made to reduce the part-cost of FPGA devices, resulting in the developmen...
Nicola Campregher, Peter Y. K. Cheung, George A. C...
200
Voted
FLAIRS
2008
15 years 9 months ago
State Space Compression with Predictive Representations
Current studies have demonstrated that the representational power of predictive state representations (PSRs) is at least equal to the one of partially observable Markov decision p...
Abdeslam Boularias, Masoumeh T. Izadi, Brahim Chai...
195
Voted
UAI
2008
15 years 8 months ago
CT-NOR: Representing and Reasoning About Events in Continuous Time
We present a generative model for representing and reasoning about the relationships among events in continuous time. We apply the model to the domain of networked and distributed...
Aleksandr Simma, Moisés Goldszmidt, John Ma...
200
Voted
SDL
2007
152views Hardware» more  SDL 2007»
15 years 8 months ago
TTCN-3 Quality Engineering: Using Learning Techniques to Evaluate Metric Sets
Software metrics are an essential means to assess software quality. For the assessment of software quality, typically sets of complementing metrics are used since individual metric...
Edith Werner, Jens Grabowski, Helmut Neukirchen, N...
DAGSTUHL
2004
15 years 8 months ago
Subjects, Models, Languages, Transformations
Abstract. Discussions about model-driven approaches tend to be hampered by terminological confusion. This is at least partially caused by a lack of formal precision in defining the...
Arend Rensink