4480 search results - page 728 / 896 » Prototyping Completion with Constraints Using Computational ... |
174
click to vote
WOSP
2004
ACM
2004
ACM
Early-stage performance modeling and its application for integrated embedded control software design
15 years 11 months ago
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
164
click to vote
ATAL
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we propose a methodology to help analyse tendencies in MAS to complement those of simple inspection, Monte Carlo and syntactic proof. We suggest an architecture that ...
197
click to vote
SIGOPSE
1992
ACM
15 years 10 months ago
1992
ACM
Abstract-- This paper describes the design and implementation1 of IRIS: an intentional resource indicator service. IRIS springs from the concept that end-users should not be bogged...
178
click to vote
WSC
2008
15 years 8 months ago
2008
We use computer simulation to study the performance of alternative real-time delay estimators in heavily loaded multiserver queueing models. These delay estimates may be used to m...
183
click to vote
AAAI
2006
15 years 7 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...