2969 search results - page 419 / 594 » The Case for User-Centered CASE Tools |
139
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...
150
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
—The microprocessor verification challenge becomes higher in the on-chip bus (OCB) than in the unit-level. Especially for the external interrupts, since they interface with othe...
147
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
—Existing ASIPs (application-specific instruction-set processors) and compiler-based co-processor synthesis approaches meet the increasing performance requirements of embedded ap...
162
click to vote
MICCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Many vascular pathologies can now be treated in a minimally invasive way thanks to interventional radiology. Instead of open surgery, it allows to reach the lesion of the...
170
click to vote
CISIS
2010
IEEE
2010
IEEE
Semantic Integration of Heterogeneous Data Sources for Monitoring Frequent-Release Software Projects
16 years 1 months ago
Abstract—Open source software teams routinely develop complex software products in frequent-release settings with rather lightweight processes and project documentation. In this ...