391 search results - page 19 / 79 » Code Improvements for Model Elimination Based Reasoning Syst... |
114
Voted
RTAS
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper presents our tool set implementation for scenario-based multithreading of object-oriented realtime models and an accompanying experimental validation. Our tools enable ...
124
Voted
ECMDAFA
2006
Springer
15 years 4 months ago
2006
Springer
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
121
Voted
WFLP
2000
Springer
15 years 4 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
101
Voted
LCPC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...
PERCOM
2008
ACM
16 years 4 days ago
2008
ACM
Abstract--Analytical models to evaluate and predict "precision" performance of indoor positioning systems based on location fingerprinting are lacking. Such models can be...