Sciweavers

7961 search results - page 201 / 1593
» Input-Output Model Programs
Sort
View
130
Voted
IEEEPACT
2003
IEEE
15 years 9 months ago
Constraint Graph Analysis of Multithreaded Programs
This paper presents a framework for analyzing the performance of multithreaded programs using a model called a constraint graph. We review previous constraint graph definitions fo...
Harold W. Cain, Mikko H. Lipasti, Ravi Nair
GECCO
2008
Springer
130views Optimization» more  GECCO 2008»
15 years 4 months ago
VoIP speech quality estimation in a mixed context with genetic programming
Voice over IP (VoIP) speech quality estimation is crucial to providing optimal Quality of Service (QoS). This paper seeks to provide improved speech quality estimation models with...
Adil Raja, R. Muhammad Atif Azad, Colin Flanagan, ...
173
Voted
CADE
2008
Springer
16 years 4 months ago
Exploring Model-Based Development for the Verification of Real-Time Java Code
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
Niusha Hakimipour, Paul A. Strooper, Roger Duke
146
Voted
WLP
2004
Springer
15 years 9 months ago
Effective Modeling with Constraints
Constraint programming provides a declarative approach to solving combinatorial (optimization) problems. The user just states the problem as a constraint satisfaction problem (CSP)...
Roman Barták
130
Voted
APAQS
2000
IEEE
15 years 8 months ago
Software Quality Prediction Using Mixture Models with EM Algorithm
The use of the statistical technique of mixture model analysis as a tool for early prediction of fault-prone program modules is investigated. The Expectation-Maximum likelihood (E...
Ping Guo, Michael R. Lyu