7080 search results - page 296 / 1416 » Designing High Integrity Systems Using Aspects |
125
Voted
ICFHR
2010
14 years 10 months ago
2010
Representing digital ink traces as points in a function space has proven useful for online recognition. Ink trace coordinates or their integral invariants are written as parametri...
127
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
138
click to vote
IUI
2009
ACM
16 years 11 days ago
2009
ACM
Numerous techniques exist to help users automate repetitive tasks; however, none of these methods fully support enduser creation, use, and modification of the learned tasks. We pr...
156
Voted
VLSID
2004
IEEE
16 years 3 months ago
2004
IEEE
As chip complexity grows, design productivity boost is expected from reuse of large parts and blocks of previous designs with the design effort largely invested into the new parts...
155
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: With the advances in DNA sequencer-based technologies, it has become possible to automate several steps of the genotyping process leading to increased throughput. To e...