3819 search results - page 649 / 764 » An Outsourcing Model of Software Development |
212
Voted
TCAD
2011
14 years 7 months ago
2011
—Escalating system-on-chip design complexity is the design community to raise the level of abstraction beyond register transfer level. Despite the unsuccessful adoptions of early...
174
click to vote
FASE
2011
Springer
14 years 4 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
104
click to vote
BIOINFORMATICS
2012
13 years 3 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...
105
Voted
ICSE
2007
IEEE-ACM
16 years 24 days ago
2007
IEEE-ACM
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...
106
click to vote
IUI
2009
ACM
15 years 9 months ago
2009
ACM
Knowledge workers must manage large numbers of simultaneous, ongoing projects that collectively involve huge numbers of resources (documents, emails, web pages, calendar items, et...