3104 search results - page 273 / 621 » Using quantitative analysis to implement autonomic IT system... |
164
click to vote
KDD
2008
ACM
16 years 5 months ago
2008
ACM
Studying the association between quantitative phenotype (such as height or weight) and single nucleotide polymorphisms (SNPs) is an important problem in biology. To understand und...
169
click to vote
FPL
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we present a rapid prototyping platform on a single Field Programmable Gate Array (FPGA) with support for software transactional memory. The system is composed only b...
157
click to vote
CAV
2003
Springer
15 years 8 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
210
Voted
SIGMOD
2005
ACM
16 years 5 months ago
2005
ACM
New and emerging P2P applications require sophisticated range query capability and also have strict requirements on query correctness, system availability and item availability. W...
163
click to vote
RTAS
2003
IEEE
15 years 10 months ago
2003
IEEE
Distributed real-time and embedded (DRE) applications often possess stringent quality of service (QoS) requirements. Designing middleware for DRE applications poses several challe...