1216 search results - page 93 / 244 » Hybrid type checking |
120
Voted
CAV
2010
Springer
15 years 7 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
104
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Knowing the submitochondria localization of a mitochondria protein is an important step to understand its function. We develop a method which is based on an extended v...
82
Voted
INFORMATICALT
2007
15 years 3 months ago
2007
Abstract. A medical-meteorological weather assessment using hybrid spatial classification of synoptic and meteorological data was done. Empirical models for assessment as well as ...
129
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
In this paper we propose a hybrid FPGA using nanoscale clusters with an architecture similar to clusters of traditional CMOS FPGAs. The proposed cluster is made of a crossbar of n...
114
Voted
TWC
2008
15 years 3 months ago
2008
Abstract--Wireless infrastructures can be conveniently categorized into two types: those that provide point-to-point `unicast' connectivity (e.g., cellular) and others that ar...