4636 search results - page 750 / 928 » Application of Linguistic Techniques for Use Case Analysis |
OOPSLA
2010
Springer
14 years 9 months ago
2010
Springer
As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, ...
JAIR
2011
14 years 6 months ago
2011
We present a method for using standard techniques from satisfiability checking to automatically verify and discover theorems in an area of economic theory known as ranking sets o...
166
click to vote
TCAD
2011
14 years 6 months ago
2011
Abstract—This work introduces GRIP, a global routing technique via integer programming. GRIP optimizes wirelength and via cost directly without going through a traditional layer ...
BMCBI
2008
2008
RPPAML/RIMS: A metadata format and an information management system for reverse phase protein arrays
14 years 11 months ago
Background: Reverse Phase Protein Arrays (RPPA) are convenient assay platforms to investigate the presence of biomarkers in tissue lysates. As with other high-throughput technolog...
113
click to vote
PVLDB
2008
14 years 10 months ago
2008
We propose EndoScope, a software monitoring framework that allows users to pose declarative queries that monitor the state and performance of running programs. Unlike most existin...