428 search results - page 64 / 86 » Validating High-Level Synthesis |
ACSW
2004
15 years 1 months ago
2004
Creating a robust image classification system depends on having enough data with which one can adequately train and validate the model. If there is not enough available data, this...
WSC
2004
15 years 1 months ago
2004
Hierarchical production planning provides a formal bridge between long-term plans and short-term schedules. A hybrid simulation-based production planning architecture consisting o...
BMCBI
2008
14 years 12 months ago
2008
Background: Protein sumoylation is an essential dynamic, reversible post translational modification that plays a role in dozens of cellular activities, especially the regulation o...
110
click to vote
ENTCS
2008
14 years 12 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
101
click to vote
MAGS
2008
14 years 11 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...