2662 search results - page 163 / 533 » Tools Demonstrations |
170
click to vote
CLEIEJ
2010
15 years 2 months ago
2010
Software process assessments have been used to verify the conformance with quality reference models or standards, usually in a context of software process improvement programs. Mo...
126
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
376
click to vote
DAC
2012
ACM
13 years 7 months ago
2012
ACM
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
143
click to vote
BIOINFORMATICS
2012
13 years 7 months ago
2012
Motivation: Next-generation sequencing methods are generating increasingly massive datasets, yet still do not fully capture genetic diversity in the richest environments. To under...
120
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
The User-centered design (UCD) Gymkhana is a tool for human-computer interaction practitioners to demonstrate through a game the key user-centered design methods and how they inte...