1216 search results - page 98 / 244 » Hybrid type checking |
130
click to vote
PPOPP
2009
ACM
15 years 10 months ago
2009
ACM
A trend is developing in high performance computing in which commodity processors are coupled to various types of computational accelerators. Such systems are commonly called hybr...
133
Voted
BIBE
2007
IEEE
15 years 10 months ago
2007
IEEE
—Array based Comparative Genomic Hybridization (CGH) is a molecular cytogenetic method for the detection of chromosomal imbalances and it has been extensively used for studying c...
119
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The majority of research in control engineering considers periodic or time-triggered control systems with equidistant sample intervals. However, practical cases abound in...
130
Voted
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
117
click to vote
CLUSTER
2008
IEEE
15 years 10 months ago
2008
IEEE
—Several performance analysis tools support hybrid applications. Most originated as MPI profiling or tracing tools and OpenMP capabilities were added to extend the performance a...